- library fixes:

[splint.git] / src / mtscanner.c

diff --git a/src/mtscanner.c b/src/mtscanner.c
index 5ab2c3e322351ecb6be7b0d82062cfffecf37c2f..51af450596b66ea6f078c5b831fb683ad4c21535 100644 (file)
--- a/src/mtscanner.c
+++ b/src/mtscanner.c
@@ -84,6 +84,7 @@ static void mtscanner_initMod (void)
   cstringTable_insert (tokenTable, cstring_makeLiteral ("signedintegraltype"), MT_SIGNEDINTEGRALTYPE);
   cstringTable_insert (tokenTable, cstring_makeLiteral ("const"), MT_CONST);
   cstringTable_insert (tokenTable, cstring_makeLiteral ("volatile"), MT_VOLATILE);
+  cstringTable_insert (tokenTable, cstring_makeLiteral ("restrict"), MT_RESTRICT);
 
   /*
   ** Punctuation