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