diff options
Diffstat (limited to 'compiler/Print.ml')
| -rw-r--r-- | compiler/Print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Print.ml b/compiler/Print.ml index 23cebd4c..410b45e6 100644 --- a/compiler/Print.ml +++ b/compiler/Print.ml @@ -80,7 +80,7 @@ module Values = struct string = let ty_fmt : PT.etype_formatter = value_to_etype_formatter fmt in match v.value with - | Primitive cv -> PPV.literal_to_string cv + | Literal cv -> PPV.literal_to_string cv | Adt av -> ( let field_values = List.map (typed_value_to_string fmt) av.field_values |