From 64864512246093872cdc313f9fdcccdbdde75db9 Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Tue, 7 Jun 2016 10:49:07 -0600
Subject: change to update

---
 Source/Core/AbsyExpr.cs | 3 +--
 1 file changed, 1 insertion(+), 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);
       }
 
-- 
cgit v1.2.3