Treat integer casts in a general manner

1 files changed, 9 insertions, 1 deletions

diff --git a/src/Print.ml b/src/Print.ml
index 0c4ef20a..8e29bc67 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -830,7 +830,15 @@ module LlbcAst = struct
     projection_to_string fmt var p.E.projection
 
   let unop_to_string (unop : E.unop) : string =
-    match unop with E.Not -> "¬" | E.Neg -> "-"
+    match unop with
+    | E.Not -> "¬"
+    | E.Neg -> "-"
+    | E.Cast (src, tgt) ->
+        "cast<"
+        ^ PT.integer_type_to_string src
+        ^ ","
+        ^ PT.integer_type_to_string tgt
+        ^ ">"
 
   let binop_to_string (binop : E.binop) : string =
     match binop with