1 files changed, 0 insertions, 42 deletions
diff --git a/test/testinterp/t172-pushenvacc3.ml b/test/testinterp/t172-pushenvacc3.ml
deleted file mode 100644
index 093f7f1e4e..0000000000
--- a/test/testinterp/t172-pushenvacc3.ml
+++ /dev/null
@@ -1,42 +0,0 @@
-open Lib;;
-let x = 5 in
-let y = 4 in
-let z = 3 in
-let f _ = z + y + x in
-if f 0 <> 12 then raise Not_found
-;;
-
-(**
-       0 CONSTINT 42
-       2 PUSHACC0 
-       3 MAKEBLOCK1 0
-       5 POP 1
-       7 SETGLOBAL Lib
-       9 BRANCH 18
-      11 ENVACC1 
-      12 PUSHENVACC2 
-      13 PUSHENVACC3 
-      14 ADDINT 
-      15 ADDINT 
-      16 RETURN 1
-      18 CONSTINT 5
-      20 PUSHCONSTINT 4
-      22 PUSHCONST3 
-      23 PUSHACC0 
-      24 PUSHACC2 
-      25 PUSHACC4 
-      26 CLOSURE 3, 11
-      29 PUSHCONSTINT 12
-      31 PUSHCONST0 
-      32 PUSHACC2 
-      33 APPLY1 
-      34 NEQ 
-      35 BRANCHIFNOT 42
-      37 GETGLOBAL Not_found
-      39 MAKEBLOCK1 0
-      41 RAISE 
-      42 POP 4
-      44 ATOM0 
-      45 SETGLOBAL T172-pushenvacc3
-      47 STOP 
-**)