diff options
Diffstat (limited to 'test/testinterp/t040-makeblock1.ml')
| -rw-r--r-- | test/testinterp/t040-makeblock1.ml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/test/testinterp/t040-makeblock1.ml b/test/testinterp/t040-makeblock1.ml deleted file mode 100644 index 71516606b6..0000000000 --- a/test/testinterp/t040-makeblock1.ml +++ /dev/null @@ -1,13 +0,0 @@ -type t = { - mutable a : int; -};; - -{ a = 0 };; - -(** - 0 CONST0 - 1 MAKEBLOCK1 0 - 3 ATOM0 - 4 SETGLOBAL T040-makeblock1 - 6 STOP -**) |