Merged with Dave Evans's changes.

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

diff --git a/src/Headers/lltok.h b/src/Headers/lltok.h
index 0a2d6029577655b429d1ce02e0101be1dc20310e..dcd60045b101d984ba4e1027f4515cfea06d3a2d 100644 (file)
--- a/src/Headers/lltok.h
+++ b/src/Headers/lltok.h
@@ -56,9 +56,9 @@ bool lltok_isLe_Op (lltok tok);
 
 
 /*drl7x added 11 30 2000*/
-bool  lltok_isPlus_Op (lltok tok);
+bool lltok_isPlus_Op (lltok tok);
 
-bool  lltok_isMinus_Op (lltok tok);
+bool lltok_isMinus_Op (lltok tok);
 
 /*end drl added */
 
@@ -66,8 +66,10 @@ bool  lltok_isMinus_Op (lltok tok);
   added 1/14/2001
 */
 bool lltok_isDec_Op  (lltok tok);
+bool lltok_isAmpersand_Op (lltok tok);
 
-bool  lltok_isAmpersand_Op (lltok tok);
+extern bool lltok_isExcl_Op (lltok tok);
+extern bool lltok_isTilde_Op (lltok tok);
 
 # else
 # error "Multiple include"