diff options
Diffstat (limited to 'test/testinterp/t040-makeblock2.ml')
| -rw-r--r-- | test/testinterp/t040-makeblock2.ml | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/test/testinterp/t040-makeblock2.ml b/test/testinterp/t040-makeblock2.ml deleted file mode 100644 index e7c745b9c2..0000000000 --- a/test/testinterp/t040-makeblock2.ml +++ /dev/null @@ -1,15 +0,0 @@ -type t = { - mutable a : int; - mutable b : int; -};; - -{ a = 0; b = 0 };; - -(** - 0 CONST0 - 1 PUSHCONST0 - 2 MAKEBLOCK2 0 - 4 ATOM0 - 5 SETGLOBAL T040-makeblock2 - 7 STOP -**) |