summaryrefslogtreecommitdiff
path: root/Source
diff options
context:
space:
mode:
authorGravatar Checkmate50 <dgeisler50@gmail.com>2016-06-07 10:49:07 -0600
committerGravatar Checkmate50 <dgeisler50@gmail.com>2016-06-07 10:49:07 -0600
commit64864512246093872cdc313f9fdcccdbdde75db9 (patch)
tree4185e785d75e9f765793151baad241f2fc0dec16 /Source
parent49c7d1d0133a789bb8eaa4cc0ff14c5e4493545e (diff)
change to update
Diffstat (limited to 'Source')
-rw-r--r--Source/Core/AbsyExpr.cs3
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);
}