]> andersk Git - splint.git/blobdiff - test/help.expect
Fixed configuration problem (hopefully).
[splint.git] / test / help.expect
index 41d1cfd191e2b2a66df1784e4539f850636bab3b..86c6a6e401b10aed8b2dacb1bbd501456d4cac4e 100644 (file)
@@ -88,6 +88,7 @@ Finished checking --- no code processed
    booltrue                    
    booltype                    
    bounds                      
+   boundscompacterrormessages  
    boundsread                  
    boundswrite                 
    branchstate                 
@@ -422,7 +423,7 @@ Finished checking --- no code processed
    singleinclude               
    sizeofformalarray           
    sizeoftype                  
-   skipansiheaders             
+   skipisoheaders              
    skipposixheaders            
    skipsysheaders              
    slashslashcomment           
This page took 0.034758 seconds and 4 git commands to generate.