From 5c2ddca25137de0062fc37239f261a6a8187d885 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 1 May 2022 16:00:32 +0200
Subject: Perform some renamings

---
 src/PrintPure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/PrintPure.ml')

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)
     | _ ->
-- 
cgit v1.2.3