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 /Source | |
| parent | c8d15354d033713295a6c55802c6dfe55a95f2b5 (diff) | |
Minor changes
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/VCExpr/VCExprAST.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/VCExpr/VCExprAST.cs b/Source/VCExpr/VCExprAST.cs index 2a06447e..2fbb102c 100644 --- a/Source/VCExpr/VCExprAST.cs +++ b/Source/VCExpr/VCExprAST.cs @@ -341,8 +341,8 @@ namespace Microsoft.Boogie { public static readonly VCExprOp TimeoutDiagnosticsOp = new VCExprCustomOp("timeoutDiagnostics", 1, Type.Bool); - public static readonly VCExprOp MinimizeOp = new VCExprNAryOp(2, Type.Bool); - public static readonly VCExprOp MaximizeOp = new VCExprNAryOp(2, Type.Bool); + public static readonly VCExprOp MinimizeOp = new VCExprCustomOp("minimize##dummy", 2, Type.Bool); + public static readonly VCExprOp MaximizeOp = new VCExprCustomOp("maximize##dummy", 2, Type.Bool); public VCExprOp BoogieFunctionOp(Function func) { Contract.Requires(func != null); |