Make minor modifications

1 files changed, 1 insertions, 1 deletions

diff --git a/src/PrintPure.ml b/src/PrintPure.ml
index bf898424..3d41e67d 100644
--- a/src/PrintPure.ml
+++ b/src/PrintPure.ml
@@ -328,7 +328,7 @@ let rec expression_to_string (fmt : ast_formatter) (indent : string)
     (indent_incr : string) (e : expression) : string =
   match e with
   | Return v -> indent ^ "return " ^ typed_rvalue_to_string fmt v
-  | Panic -> indent ^ "panic"
+  | Fail -> indent ^ "fail"
   | Let (lb, e) -> let_to_string fmt indent indent_incr lb e
   | Switch (scrutinee, body) ->
       switch_to_string fmt indent indent_incr scrutinee body