diff include/types.h @ 764:7f653298dd66

C FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 17:15:14 -0400
parents fa2019a63ea4
children eac1974924bb
line wrap: on
line diff
--- a/include/types.h	Thu Apr 30 16:25:27 2009 -0400
+++ b/include/types.h	Thu Apr 30 17:15:14 2009 -0400
@@ -1,3 +1,6 @@
+#ifndef URWEB_TYPES_H
+#define URWEB_TYPES_H
+
 #include <time.h>
 
 typedef long long uw_Basis_int;
@@ -42,3 +45,4 @@
 #define FLOATS_MAX 100
 #define TIMES_MAX 100
 
+#endif