diff options
Diffstat (limited to 'compiler/Print.ml')
| -rw-r--r-- | compiler/Print.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/Print.ml b/compiler/Print.ml index d040680f..cf227172 100644 --- a/compiler/Print.ml +++ b/compiler/Print.ml @@ -315,6 +315,7 @@ module Values = struct ^ ", loop abs kind: " ^ loop_abs_kind_to_string abs_kind ^ ")" + | Identity -> "Identity" let abs_to_string (fmt : value_formatter) (verbose : bool) (indent : string) (indent_incr : string) (abs : V.abs) : string = |