1 files changed, 0 insertions, 33 deletions
diff --git a/test/testinterp/t110-divint-3.ml b/test/testinterp/t110-divint-3.ml
deleted file mode 100644
index cbb2bff1f5..0000000000
--- a/test/testinterp/t110-divint-3.ml
+++ /dev/null
@@ -1,33 +0,0 @@
-open Lib;;
-try
-  ignore (3 / 0);
-  raise Not_found;
-with Division_by_zero -> ()
-
-(**
-       0 CONSTINT 42
-       2 PUSHACC0 
-       3 MAKEBLOCK1 0
-       5 POP 1
-       7 SETGLOBAL Lib
-       9 PUSHTRAP 19
-      11 CONST0 
-      12 PUSHCONST3 
-      13 DIVINT 
-      14 GETGLOBAL Not_found
-      16 MAKEBLOCK1 0
-      18 RAISE 
-      19 PUSHGETGLOBAL Division_by_zero
-      21 PUSHACC1 
-      22 GETFIELD0 
-      23 EQ 
-      24 BRANCHIFNOT 29
-      26 CONST0 
-      27 BRANCH 31
-      29 ACC0 
-      30 RAISE 
-      31 POP 1
-      33 ATOM0 
-      34 SETGLOBAL T110-divint-3
-      36 STOP 
-**)