Merge remote-tracking branch 'origin/asl_flow2' into sail2

1 files changed, 1 insertions, 1 deletions

diff --git a/src/constant_fold.ml b/src/constant_fold.ml
index 9e474912..7321a801 100644
--- a/src/constant_fold.ml
+++ b/src/constant_fold.ml
@@ -161,7 +161,7 @@ let rec rewrite_constant_function_calls' ast =
         let v = run (Interpreter.Step (lazy "", (lstate, gstate), initial_monad, [])) in
         let exp = exp_of_value v in
         try (ok (); Type_check.check_exp (env_of_annot annot) exp (typ_of_annot annot)) with
-        | Type_error (l, err) ->
+        | Type_error (env, l, err) ->
            (* A type error here would be unexpected, so don't ignore it! *)
            Util.warn ("Type error when folding constants in "
                       ^ string_of_exp (E_aux (e_aux, annot))