diff options
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. |