*** empty log message ***

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

diff --git a/src/Headers/mttok.h b/src/Headers/mttok.h
index 0d01f4a662cc3434e1cb4e8e5f7c9f9cc80b50ef..122d00a834d3ca5ef3c7f04302c541f03c64ee31 100644 (file)
--- a/src/Headers/mttok.h
+++ b/src/Headers/mttok.h
@@ -41,6 +41,7 @@ extern /*@observer@*/ cstring mttok_observeText (mttok p_t) /*@*/ ;
 # define mttok_observeText(t)  ((t)->text)
 
 extern bool mttok_isIdentifier (mttok p_t) /*@*/ ;
+extern bool mttok_isError (mttok p_t) /*@*/ ;
 
 # else
 # error "Multiple include"