1 files changed, 2 insertions, 1 deletions
diff --git a/BCT/RegressionTests/TranslationTest/TwoDBoxHeapInput.txt b/BCT/RegressionTests/TranslationTest/TwoDBoxHeapInput.txt
index 1088f1f7..98d64ff9 100644
--- a/BCT/RegressionTests/TranslationTest/TwoDBoxHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/TwoDBoxHeapInput.txt
@@ -87,6 +87,7 @@ implementation RegressionTestInput.ClassWithBoolTypes.#ctor$System.Boolean(this:
     assert {:sourceFile "Class1.cs"} {:sourceLine 72} true;
     assert {:sourceFile "Class1.cs"} {:sourceLine 73} true;
     $Heap[this, RegressionTestInput.ClassWithBoolTypes.b] := Bool2Box(z);
+    assert {:sourceFile "Class1.cs"} {:sourceLine 74} true;
     if (z)
     {
         assert {:sourceFile "Class1.cs"} {:sourceLine 74} true;
@@ -431,7 +432,7 @@ procedure RegressionTestInput.Class0.MethodThatRepresentsAnAynchronousMethod$Sys
 
 
 
-implementation RegressionTestInput.Class0.MethodThatRepresentsAnAynchronousMethod$System.Int32(this: int, x$in: int) returns ($result: int)
+implementation {:RegressionTestInput.Async} RegressionTestInput.Class0.MethodThatRepresentsAnAynchronousMethod$System.Int32(this: int, x$in: int) returns ($result: int)
 {
   var x: int;
   var local_0: int;