Fixed typos

This commit is contained in:
Dmitry Boulytchev 2018-02-25 19:14:25 +03:00
parent 33e00f4108
commit 851e848035

View file

@ -1,4 +1,5 @@
open GT
open Language
(* The type for the stack machine instructions *)
@type insn =
@ -14,7 +15,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