diff options
author | Valentin Wüstholz <wuestholz@gmail.com> | 2015-11-19 11:09:58 -0600 |
---|---|---|
committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-11-19 11:09:58 -0600 |
commit | 51d0b71fa4fd0795c56f1cddbd85b49625c6c91e (patch) | |
tree | 497eb200aee071451ce6f5025cd0addcc0471f6d /Test/optimization/Optimization0.bpl | |
parent | c8d15354d033713295a6c55802c6dfe55a95f2b5 (diff) |
Minor changes
Diffstat (limited to 'Test/optimization/Optimization0.bpl')
-rw-r--r-- | Test/optimization/Optimization0.bpl | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Test/optimization/Optimization0.bpl b/Test/optimization/Optimization0.bpl index d000fd79..24424e53 100644 --- a/Test/optimization/Optimization0.bpl +++ b/Test/optimization/Optimization0.bpl @@ -82,5 +82,3 @@ procedure test6() assume {:maximize x} true; assert may_fail(x); } - -// TODO(wuestholz): Make this work without the /doNotUseLabels flag. |