summaryrefslogtreecommitdiff
path: root/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
diff options
context:
space:
mode:
Diffstat (limited to 'BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt')
-rw-r--r--BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt2
1 files changed, 0 insertions, 2 deletions
diff --git a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
index 93f3a127..98583054 100644
--- a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
@@ -685,8 +685,6 @@ implementation RegressionTestInput.RefParameters.#cctor()
implementation {:inline 1} RegressionTestInput.S.#default_ctor(this: Ref)
{
- $Heap := Write($Heap, this, RegressionTestInput.S.x, Int2Box(0));
- $Heap := Write($Heap, this, RegressionTestInput.S.b, Bool2Box(false));
}