diff options
Diffstat (limited to 'Test/houdini')
-rw-r--r-- | Test/houdini/houd6.bpl | 2 |
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 |