diff options
Diffstat (limited to 'src/PrintPure.ml')
| -rw-r--r-- | src/PrintPure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/PrintPure.ml b/src/PrintPure.ml index e40a7b8b..b29f6e70 100644 --- a/src/PrintPure.ml +++ b/src/PrintPure.ml @@ -516,7 +516,7 @@ and app_to_string (fmt : ast_formatter) (inside : bool) (indent : string) in (* Convert the type instantiation *) let ty_fmt = ast_to_type_formatter fmt in - let tys = List.map (ty_to_string ty_fmt) qualif.type_params in + let tys = List.map (ty_to_string ty_fmt) qualif.type_args in (* *) (qualif_s, tys) | _ -> |