From ecd4d00f1bdf184163cc44ed8261d9f11ca9aae0 Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Wed, 12 Aug 2020 11:02:56 -0400 Subject: remove all generated nonstd/ headers --- src/nonstd/ASSERT_NOOVERLAP.c | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 src/nonstd/ASSERT_NOOVERLAP.c (limited to 'src/nonstd/ASSERT_NOOVERLAP.c') diff --git a/src/nonstd/ASSERT_NOOVERLAP.c b/src/nonstd/ASSERT_NOOVERLAP.c deleted file mode 100644 index 7173752d..00000000 --- a/src/nonstd/ASSERT_NOOVERLAP.c +++ /dev/null @@ -1,9 +0,0 @@ -#include - -#ifndef NDEBUG -#define ASSERT_NOOVERLAP(__x, __y, __s) do { \ - /* TODO */ \ - } while (0) -#else -#define ASSERT_NOOVERLAP(__x, __y, __s) -#endif -- cgit v1.2.1