Got gmake dist to work

[splint.git] / test / db3 / bool.lcl

diff --git a/test/db3/bool.lcl b/test/db3/bool.lcl
index 667508e85e8750f8e55a83f249fec57bfbcf7b0b..642b7863cf6abb450b17fc79259aa8a2b0e1c460 100644 (file)
--- a/test/db3/bool.lcl
+++ b/test/db3/bool.lcl
@@ -1,7 +1,9 @@
-immutable type bool;
+/*immutable type bool;
+
 
 constant bool TRUE;
 constant bool FALSE;
+*/
 
 void bool_initMod (void) internalState; { modifies internalState; }
 observer char *bool_unparse (bool b) { modifies nothing; }