diff options
| author |  Checkmate50 <dgeisler50@gmail.com> | 2016-06-07 10:49:07 -0600 |
|---|---|---|
| committer | Checkmate50 <dgeisler50@gmail.com> | 2016-06-07 10:49:07 -0600 |
| commit | 64864512246093872cdc313f9fdcccdbdde75db9 (patch) | |
| tree | 4185e785d75e9f765793151baad241f2fc0dec16 | |
| parent | 49c7d1d0133a789bb8eaa4cc0ff14c5e4493545e (diff) | |
change to update
| -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); } |