diff include/urweb.h @ 764:7f653298dd66

C FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 17:15:14 -0400
parents 67cd8326f743
children c125df6fabfc
line wrap: on
line diff
--- a/include/urweb.h	Thu Apr 30 16:25:27 2009 -0400
+++ b/include/urweb.h	Thu Apr 30 17:15:14 2009 -0400
@@ -1,3 +1,6 @@
+#ifndef URWEB_H
+#define URWEB_H
+
 #include <sys/types.h>
 
 #include "types.h"
@@ -176,3 +179,5 @@
 uw_Basis_int uw_Basis_blobSize(uw_context, uw_Basis_blob);
 
 __attribute__((noreturn)) void uw_return_blob(uw_context, uw_Basis_blob, uw_Basis_string mimeType);
+
+#endif