]> andersk Git - splint.git/blobdiff - src/exprDataQuite.i
Added support for or constraints.
[splint.git] / src / exprDataQuite.i
index affecfd55bfa8bebebb75ff5cb052abdbdb92ee5..262cdd138f946c06b2079a6696f5310c29480fad 100644 (file)
@@ -10,7 +10,7 @@ restricts access to exprData
 
 static void fakeQuite1 (int x)
 {
-void *f;
+void** f;
 
 x = 1;
 
This page took 0.031246 seconds and 4 git commands to generate.