Prewinter break editing commit.

[splint.git] / src / lltok.c

diff --git a/src/lltok.c b/src/lltok.c
index c9aaa6e33469cbd8b611dca6ef2a1a8204457b7b..604dfd15c3e7c44d240a38f084aa42611587c5ad 100644 (file)
--- a/src/lltok.c
+++ b/src/lltok.c
@@ -94,6 +94,19 @@ bool lltok_isLe_Op (lltok tok)
 /* end drl7x added */
 
 
+/*drl7x added 11 30 2000*/
+bool  lltok_isPlus_Op (lltok tok)
+{
+  return (tok.tok ==  TPLUS);
+}
+
+bool  lltok_isMinus_Op (lltok tok)
+{
+  return (tok.tok ==  TMINUS);
+}
+
+/*end drl added */
+
 cstring
 lltok_unparse (lltok tok)
 {