Prewinter break editing commit.

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

diff --git a/src/Headers/lltok.h b/src/Headers/lltok.h
index 317704a10e5efe7f564b34494e0a46a8fe3f3f23..f3e3585b2ff9c5577d503f140b4d8b2f055bbe41 100644 (file)
--- a/src/Headers/lltok.h
+++ b/src/Headers/lltok.h
@@ -56,6 +56,13 @@ bool lltok_isLe_Op (lltok tok);
 /* end drl7x added */
 
 
+/*drl7x added 11 30 2000*/
+bool  lltok_isPlus_Op (lltok tok);
+
+bool  lltok_isMinus_Op (lltok tok);
+
+/*end drl added */
+
 # else
 # error "Multiple include"
 # endif