Merge branch 'sail2' into smt_experiments

1 files changed, 1 insertions, 1 deletions

diff --git a/src/smtlib.ml b/src/smtlib.ml
index 7748ae20..3ba85306 100644
--- a/src/smtlib.ml
+++ b/src/smtlib.ml
@@ -383,7 +383,7 @@ let check_counterexample ast env fname args arg_ctyps arg_smt_names =
      prerr_endline (sprintf "Solver found counterexample: %s" Util.("ok" |> green |> clear));
      let counterexample = build_counterexample args arg_ctyps arg_smt_names model in
      List.iter (fun (id, v) -> prerr_endline ("  " ^ string_of_id id ^ " -> " ^ string_of_value v)) counterexample;
-     let istate = initial_state ast primops in
+     let istate = initial_state ast env primops in
      let annot = (Parse_ast.Unknown, Type_check.mk_tannot env bool_typ no_effect) in
      let call = E_aux (E_app (mk_id "prop", List.map (fun (_, v) -> E_aux (E_internal_value v, (Parse_ast.Unknown, Type_check.empty_tannot))) counterexample), annot) in
      let result = run (Step (lazy "", istate, return call, [])) in