*** empty log message ***

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

diff --git a/src/Headers/lltok.h b/src/Headers/lltok.h
index 52ffe8aa6a54c9e418fa9acd4313cbb669e31cd3..33c268375773a88aec7690c5f067c4c01a5df1bd 100644 (file)
--- a/src/Headers/lltok.h
+++ b/src/Headers/lltok.h
@@ -46,13 +46,10 @@ extern bool lltok_isNot_Op (lltok p_tok);
 
 /*drl7x added this function 11/20/00 */
 
-bool lltok_isLt_Op (lltok p_tok);
-
-bool lltok_isGt_Op (lltok p_tok);
-  
-bool lltok_isGe_Op (lltok p_tok);
-
-bool lltok_isLe_Op (lltok p_tok);
+extern bool lltok_isLt_Op (lltok p_tok);
+extern bool lltok_isGt_Op (lltok p_tok);
+extern bool lltok_isGe_Op (lltok p_tok);
+extern bool lltok_isLe_Op (lltok p_tok);
 
 /* end drl7x added */
 
@@ -73,6 +70,9 @@ bool lltok_isAmpersand_Op (lltok p_tok);
 extern bool lltok_isExcl_Op (lltok p_tok);
 extern bool lltok_isTilde_Op (lltok p_tok);
 
+extern bool lltok_isEnsures (lltok p_tok);
+extern bool lltok_isRequires (lltok p_tok);
+
 # else
 # error "Multiple include"
 # endif