From ea254c8af48ad5b4efd56624de40a9cb42452dd2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Jan 2022 18:37:51 +0100
Subject: Make minor modifications

---
 src/PrintPure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/PrintPure.ml')

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
-- 
cgit v1.2.3