1 files changed, 0 insertions, 38 deletions
diff --git a/test/testinterp/t093-pushacc.ml b/test/testinterp/t093-pushacc.ml
deleted file mode 100644
index 00a969adbe..0000000000
--- a/test/testinterp/t093-pushacc.ml
+++ /dev/null
@@ -1,38 +0,0 @@
-open Lib;;
-let x = false in
-let y = true in
-let z = true in
-let a = true in
-let b = true in
-let c = true in
-let d = true in
-let e = true in
-let f = true in
-if x then raise Not_found
-;;
-
-(**
-       0 CONSTINT 42
-       2 PUSHACC0 
-       3 MAKEBLOCK1 0
-       5 POP 1
-       7 SETGLOBAL Lib
-       9 CONST0 
-      10 PUSHCONST1 
-      11 PUSHCONST1 
-      12 PUSHCONST1 
-      13 PUSHCONST1 
-      14 PUSHCONST1 
-      15 PUSHCONST1 
-      16 PUSHCONST1 
-      17 PUSHCONST1 
-      18 PUSHACC 8
-      20 BRANCHIFNOT 27
-      22 GETGLOBAL Not_found
-      24 MAKEBLOCK1 0
-      26 RAISE 
-      27 POP 9
-      29 ATOM0 
-      30 SETGLOBAL T093-pushacc
-      32 STOP 
-**)