]> andersk Git - splint.git/blobdiff - test/modifies.out
Added mtgrammar.c.der
[splint.git] / test / modifies.out
index ef7b93be0883cd10dc66c1086505713e68487b8a..09ac0599cec2ddf587f3ab6236c563715e326564 100644 (file)
@@ -1,6 +1,4 @@
 
-Cannot find standard library: ansi.lcd
-     Check LARCH_PATH environment variable.
 modifies.c:7:29: Modifies list uses internalState which is a variable and has
     special meaning in a modifies list.  (Special meaning assumed.)
    modifies.c:4:25: Declaration of internalState
This page took 0.131425 seconds and 4 git commands to generate.