summaryrefslogtreecommitdiff
path: root/compiler/PrintPure.ml
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--compiler/PrintPure.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/PrintPure.ml b/compiler/PrintPure.ml
index 6f857b4f..33a86df5 100644
--- a/compiler/PrintPure.ml
+++ b/compiler/PrintPure.ml
@@ -532,6 +532,7 @@ let unop_to_string (unop : unop) : string =
| Cast (src, tgt) ->
"cast<" ^ integer_type_to_string src ^ "," ^ integer_type_to_string tgt
^ ">"
+ | SliceNew tgt_len -> "array_to_slice<" ^ scalar_value_to_string tgt_len ^ ">"
let binop_to_string = Print.Expressions.binop_to_string