1 files changed, 0 insertions, 15 deletions
diff --git a/test/testinterp/t060-raise.ml b/test/testinterp/t060-raise.ml
deleted file mode 100644
index 1aa484667a..0000000000
--- a/test/testinterp/t060-raise.ml
+++ /dev/null
@@ -1,15 +0,0 @@
-open Lib;;
-raise End_of_file;;
-
-(**
-       0 CONSTINT 42
-       2 PUSHACC0 
-       3 MAKEBLOCK1 0
-       5 POP 1
-       7 SETGLOBAL Lib
-       9 GETGLOBAL End_of_file
-      11 MAKEBLOCK1 0
-      13 RAISE 
-      14 SETGLOBAL T060-raise
-      16 STOP 
-**)