summaryrefslogtreecommitdiff
path: root/Test
diff options
context:
space:
mode:
authorGravatar qadeer <qadeer@microsoft.com>2011-08-04 21:55:13 -0700
committerGravatar qadeer <qadeer@microsoft.com>2011-08-04 21:55:13 -0700
commite129afe1528a5213c56171dd12afaadb1e219d4c (patch)
treeb55bfba6282f395c2211a90f59a30e2bad87fa27 /Test
parentae2d46b87b118669030e8720b166017eeed99231 (diff)
further changes for making houdini work
Diffstat (limited to 'Test')
-rw-r--r--Test/houdini/houd6.bpl2
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/houdini/houd6.bpl b/Test/houdini/houd6.bpl
index 09f2dd0e..820d2d73 100644
--- a/Test/houdini/houd6.bpl
+++ b/Test/houdini/houd6.bpl
@@ -41,4 +41,4 @@ modifies array;
}
// expected outcome: Correct
-// expected assigment: bi->True forall i \ No newline at end of file
+// expected assigment: bi->False forall i \ No newline at end of file