diff options
author | Son Ho | 2022-05-01 16:00:32 +0200 |
---|---|---|
committer | Son Ho | 2022-05-01 16:00:32 +0200 |
commit | 5c2ddca25137de0062fc37239f261a6a8187d885 (patch) | |
tree | 4ad0bf0e12f814eebc13976d52274914239c06eb /src/PrintPure.ml | |
parent | 2837ecd9ee1687679bf9afac03fd488b5afef5e3 (diff) |
Perform some renamings
Diffstat (limited to '')
-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) | _ -> |