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/Substitute.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/Substitute.ml')

diff --git a/src/Substitute.ml b/src/Substitute.ml
index 81f6985b..7cb0e8c2 100644
--- a/src/Substitute.ml
+++ b/src/Substitute.ml
@@ -262,15 +262,15 @@ let assertion_substitute (tsubst : T.TypeVarId.id -> T.ety) (a : A.assertion) :
 let call_substitute (tsubst : T.TypeVarId.id -> T.ety) (call : A.call) : A.call
     =
   let rsubst x = x in
-  let type_params = List.map (ty_substitute rsubst tsubst) call.A.type_params in
+  let type_args = List.map (ty_substitute rsubst tsubst) call.A.type_args in
   let args = List.map (operand_substitute tsubst) call.A.args in
   let dest = place_substitute tsubst call.A.dest in
   (* Putting all the paramters on purpose: we want to get a compiler error if
      something moves - we may add a field on which we need to apply a substitution *)
   {
     func = call.A.func;
-    region_params = call.A.region_params;
-    A.type_params;
+    region_args = call.A.region_args;
+    A.type_args;
     args;
     dest;
   }
-- 
cgit v1.2.3