diff --git a/src/SM.ml b/src/SM.ml index 92ec25aee..097e7cd51 100644 --- a/src/SM.ml +++ b/src/SM.ml @@ -299,7 +299,7 @@ let rec eval env (((cstack, stack, glob, loc, i, o) as conf) : config) = functio Printf.eprintf "end\n"; *) (match insn with - | PUBLIC _ | EXTERN _ | LINE _ -> eval env conf prg' + | IMPORT _ | PUBLIC _ | EXTERN _ | LINE _ -> eval env conf prg' | BINOP "==" -> let y::x::stack' = stack in let z = diff --git a/src/version.ml b/src/version.ml index 430ecf5bc..993b5c0f5 100644 --- a/src/version.ml +++ b/src/version.ml @@ -1 +1 @@ -let version = "Version 1.10, c90a73c10, Tue Sep 28 10:39:02 2021 +0300" +let version = "Version 1.10, 4d56ccc06, Sun Oct 3 17:10:21 2021 +0300"