From bc83c41c1abe067f37e1bae529d3a9e3d00e8656 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <1827113+dhil@users.noreply.github.com> Date: Tue, 16 Feb 2021 14:57:10 +0000 Subject: [PATCH] Update interpreter/script/run.ml Co-authored-by: Andreas Rossberg --- interpreter/script/run.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/interpreter/script/run.ml b/interpreter/script/run.ml index 49b5c1ee..77c42a9d 100644 --- a/interpreter/script/run.ml +++ b/interpreter/script/run.ml @@ -451,7 +451,7 @@ let run_assertion ass = trace ("Asserting exception..."); (match run_action act with | exception Eval.Uncaught (_, msg) -> assert_message ass.at "runtime" msg re - | _ -> Assert.error ass.at "expected runtime error" + | _ -> Assert.error ass.at "expected exception" ) let rec run_command cmd =