diff options
| -rw-r--r-- | Source/Core/AbsyExpr.cs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs index d3e63922..5fc5fd54 100644 --- a/Source/Core/AbsyExpr.cs +++ b/Source/Core/AbsyExpr.cs @@ -2356,8 +2356,7 @@ namespace Microsoft.Boogie { tpInstantiation = SimpleTypeParamInstantiation.EMPTY; - if (!cce.NonNull(cce.NonNull(args[0]).Type).Unify(argType)) - { + if (!cce.NonNull(cce.NonNull(args[0]).Type).Unify(argType)) { tc.Error(this.tok, "argument type {0} does not match expected type {1}", cce.NonNull(args[0]).Type, this.argType); } |