1 files changed, 0 insertions, 21 deletions
diff --git a/test/testinterp/t110-offsetint.ml b/test/testinterp/t110-offsetint.ml
deleted file mode 100644
index 925159e38d..0000000000
--- a/test/testinterp/t110-offsetint.ml
+++ /dev/null
@@ -1,21 +0,0 @@
-open Lib;;
-if 2 + 2 <> 4 then raise Not_found;;
-
-(**
-       0 CONSTINT 42
-       2 PUSHACC0 
-       3 MAKEBLOCK1 0
-       5 POP 1
-       7 SETGLOBAL Lib
-       9 CONSTINT 4
-      11 PUSHCONST2 
-      12 OFFSETINT 2
-      14 NEQ 
-      15 BRANCHIFNOT 22
-      17 GETGLOBAL Not_found
-      19 MAKEBLOCK1 0
-      21 RAISE 
-      22 ATOM0 
-      23 SETGLOBAL T110-offsetint
-      25 STOP 
-**)