diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-30 17:15:14 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-30 17:15:14 -0400 |
commit | 2307ccdcc5eb4ddfe719ddcbea999f7705ec79c3 (patch) | |
tree | 4be9b76a5e655b9f28be47710cc47e600a369a14 /include/types.h | |
parent | db2f1f208afef9110d8a5796a2325928a92b62cc (diff) |
C FFI compiler options
Diffstat (limited to 'include/types.h')
-rw-r--r-- | include/types.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/types.h b/include/types.h index 1227a4db..0dbd6118 100644 --- a/include/types.h +++ b/include/types.h @@ -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 @@ typedef struct input *uw_input; #define FLOATS_MAX 100 #define TIMES_MAX 100 +#endif |