This commit is contained in:
Dmitry Boulytchev 2018-02-25 19:41:23 +03:00
commit 6bd9b1a5f5
2 changed files with 8 additions and 3 deletions

View file

@ -16,7 +16,7 @@ type prg = insn list
(* The type for the stack machine configuration: a stack and a configuration from statement
interpreter
*)
type config = int list * Language.Stmt.config
type config = int list * Stmt.config
(* Stack machine interpreter