X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/51bc6ecce8b6e9877dccd8bda2cf220b47e6929c..e63e0a4a31c06a56312538440dd5b384e19ddb55:/test/db3/bool.lcl

diff --git a/test/db3/bool.lcl b/test/db3/bool.lcl
index 667508e..642b786 100644
--- 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; }