X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/91b588dea2cd9d465b092f5a934ebf1638f79253..08cf86420d78ec43cc82ce0258cd86704afd80bd:/test/help.expect

diff --git a/test/help.expect b/test/help.expect
index a2e60ac..a0863bb 100644
--- a/test/help.expect
+++ b/test/help.expect
@@ -72,6 +72,7 @@ Finished checking --- no code processed
    allglobs                    
    allimponly                  
    allmacros                   
+   allocmismatch               
    alwaysexits                 
    annotationerror             
    ansi89limits                
@@ -217,6 +218,7 @@ Finished checking --- no code processed
    ignoresigns                 
    immediatetrans              
    impabstract                 
+   impboundsconstraints        
    impcheckedglobs             
    impcheckedspecglobs         
    impcheckedstatics           
@@ -229,7 +231,6 @@ Finished checking --- no code processed
    impcheckmodstatics          
    impconj                     
    implementationoptional      
-   implictconstraint           
    impouts                     
    imptype                     
    includenest                 
@@ -292,6 +293,7 @@ Finished checking --- no code processed
    loopswitchbreak             
    macroassign                 
    macroconstdecl              
+   macroconstdistance          
    macrodecl                   
    macroempty                  
    macrofcndecl                
@@ -406,6 +408,7 @@ Finished checking --- no code processed
    readonlystrings             
    readonlytrans               
    realcompare                 
+   realrelatecompare           
    redecl                      
    redef                       
    redundantconstraints