diff options
Diffstat (limited to 'src/LlbcAst.ml')
-rw-r--r-- | src/LlbcAst.ml | 4 |
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; } |