Perform some renamings

1 files changed, 2 insertions, 2 deletions

diff --git a/src/LlbcAst.ml b/src/LlbcAst.ml
index 6e77cadb..d35cd5d8 100644
--- a/src/LlbcAst.ml
+++ b/src/LlbcAst.ml
@@ -65,8 +65,8 @@ type inst_fun_sig = {
 
 type call = {
   func : fun_id;
-  region_params : erased_region list;
-  type_params : ety list;
+  region_args : erased_region list;
+  type_args : ety list;
   args : operand list;
   dest : place;
 }