Include "verify.h".

diff --git a/src/system.h b/src/system.h
index cef4fc9ed522a677e0f9f23b46ec6bc55104700b..85a539954a2a2589edaf29f08ee7e9a2cd40b534 100644 (file)
--- a/src/system.h
+++ b/src/system.h
@@ -613,6 +613,7 @@ enum
   _("      --version  output version information and exit\n")
 
 #include "closeout.h"
+#include "verify.h"
 #include "version-etc.h"
 
 #define case_GETOPT_VERSION_CHAR(Program_name, Authors)                        \
@@ -806,27 +807,6 @@ ptr_align (void const *ptr, size_t alignment)
   return (void *) (p1 - (size_t) p1 % alignment);
 }
 
-#ifndef verify_dcl
-# define GL_CONCAT0(x, y) x##y
-# define GL_CONCAT(x, y) GL_CONCAT0 (x, y)
-
-/* Verify requirement, R, at compile-time, as a declaration.
-   The implementation uses a struct declaration whose name includes the
-   expansion of __LINE__, so there is a small chance that two uses of
-   verify_dcl from different files will end up colliding (for example,
-   f.c includes f.h and verify_dcl is used on the same line in each).  */
-# define verify_dcl(R) \
-    struct GL_CONCAT (ct_assert_, __LINE__) { char a[(R) ? 1 : -1]; }
-#endif
-
-/* Verify requirement, R, at compile-time, as an expression.
-   Unlike assert, there is no run-time overhead.  Unlike verify_dcl,
-   above, there is no risk of collision, since there is no declared name.
-   This macro may be used in some contexts where the other may not.
-   Return void.  */
-#undef verify
-#define verify(R) ((void) sizeof (struct { char a[(R) ? 1 : -1]; }))
-
 /* With a compiler that supports the __typeof__ operator, ensure that
    TYPEOF_REQUIREMENT is nonzero at compile time.  If the compiler does
    not support __typeof__, do nothing.  */