We're now able to generate Maxset constraints for fixed sized arrays.

[splint.git] / src / Headers / lltok.h

diff --git a/src/Headers/lltok.h b/src/Headers/lltok.h
index 4cace0312adc655d53bc519e1fcc92b815c1f1ff..317704a10e5efe7f564b34494e0a46a8fe3f3f23 100644 (file)
--- a/src/Headers/lltok.h
+++ b/src/Headers/lltok.h
@@ -43,6 +43,19 @@ extern bool lltok_isOr_Op (lltok tok);
 
 extern bool lltok_isNot_Op (lltok tok);
 
+/*drl7x added this function 11/20/00 */
+
+bool lltok_isLt_Op (lltok tok);
+
+bool lltok_isGt_Op (lltok tok);
+  
+bool lltok_isGe_Op (lltok tok);
+
+bool lltok_isLe_Op (lltok tok);
+
+/* end drl7x added */
+
+
 # else
 # error "Multiple include"
 # endif