diff options
Diffstat (limited to 'compiler/Print.ml')
| -rw-r--r-- | compiler/Print.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/Print.ml b/compiler/Print.ml index 1de1bf9c..88d33bce 100644 --- a/compiler/Print.ml +++ b/compiler/Print.ml @@ -178,7 +178,6 @@ module Values = struct string = let ty_fmt : PT.rtype_formatter = value_to_rtype_formatter fmt in match v.value with - | APrimitive cv -> PPV.primitive_value_to_string cv | AAdt av -> ( let field_values = List.map (typed_avalue_to_string fmt) av.field_values |