1 files changed, 4 insertions, 4 deletions
diff --git a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
index 0ea68d94..2872a22f 100644
--- a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
@@ -324,7 +324,7 @@ procedure {:inline 1} System.Windows.Controls.Control.set_IsEnabled$System.Boole
 
 implementation System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool)
 {
-    $Exception:=null;
+    $Exception := null;
     isControlEnabled[$this] := value$in;
 }
 
@@ -338,7 +338,7 @@ implementation System.Windows.Controls.Control.get_IsEnabled($this: Ref) returns
 {
   var enabledness: bool;
 
-    $Exception:=null;
+    $Exception := null;
     enabledness := isControlEnabled[$this];
     $result := Box2Ref(Bool2Box(enabledness));
 }
@@ -353,7 +353,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$Sys
 {
   var check: bool;
 
-    $Exception:=null;
+    $Exception := null;
     check := Box2Bool(Ref2Box(value$in));
     isControlChecked[$this] := check;
 }
@@ -368,7 +368,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.get_IsChecked($th
 {
   var isChecked: bool;
 
-    $Exception:=null;
+    $Exception := null;
     isChecked := isControlChecked[$this];
     $result := Box2Ref(Bool2Box(isChecked));
 }