1 files changed, 0 insertions, 24 deletions
diff --git a/test/testinterp/t092-pushacc1.ml b/test/testinterp/t092-pushacc1.ml
deleted file mode 100644
index b923f4fc8c..0000000000
--- a/test/testinterp/t092-pushacc1.ml
+++ /dev/null
@@ -1,24 +0,0 @@
-open Lib;;
-let x = false in
-let y = 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 PUSHACC1 
-      12 BRANCHIFNOT 19
-      14 GETGLOBAL Not_found
-      16 MAKEBLOCK1 0
-      18 RAISE 
-      19 POP 2
-      21 ATOM0 
-      22 SETGLOBAL T092-pushacc1
-      24 STOP 
-**)