c_interface still kicks

2015-02-09 10:21:53 +00:00
parent 5a7602dfff
commit f983c99313
2 changed files with 4 additions and 1 deletions
--- a/include/c_interface.h
+++ b/include/c_interface.h
@@ -24,7 +24,7 @@

 #ifndef Bool
 #define Bool YAP_Bool
-#endif11
+#endif

 #define Int long int