1 files changed, 4 insertions, 4 deletions
diff --git a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
index 703c908f..87514ae9 100644
--- a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
@@ -3,8 +3,6 @@
 
 const null: ref;
 
-type box;
-
 type ref = int;
 
 type HeapType = [ref,Field]box;
@@ -188,8 +186,6 @@ implementation DelegateRemoveHelper(oldi: int, m: int, o: int) returns (i: int)
 
 
 
-type Field;
-
 var $Heap: HeapType where IsGoodHeap($Heap);
 
 function Box2Int(box) : int;
@@ -210,6 +206,10 @@ function {:inline true} Write(H: HeapType, o: ref, f: Field, v: box) : HeapType
   H[o, f := v]
 }
 
+type Field;
+
+type box;
+
 type Type;
 
 function $DynamicType(ref) : Type;