Merged this branch with the one in the splint.sf.net repository.

[splint.git] / src / lltok.c

diff --git a/src/lltok.c b/src/lltok.c
index 4906dc5bab323b707bc6341df1e22493eb16920b..ba77b5e7a09cffb2b8df1f40920731ae363ee8ef 100644 (file)
--- a/src/lltok.c
+++ b/src/lltok.c
@@ -145,6 +145,11 @@ bool lltok_isRequires (lltok tok)
   return (tok->tok == QPRECLAUSE);
 }
 
+bool lltok_isRbrace (lltok tok)
+{
+  return (tok->tok == TRBRACE);
+}
+
 cstring
 lltok_unparse (lltok tok)
 {