diff options
| author | Son Ho | 2022-01-25 16:51:29 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-25 16:51:29 +0100 |
| commit | 5a144044d14bb6d255883c7b4500e49faabf5ec5 (patch) | |
| tree | e27e140383fcd01b76ecb91c4ac31af9bbfe7fff /src/Interpreter.ml | |
| parent | 039b84f49c8981955a079385357ccbc96d5aeb90 (diff) | |
Start working on translate_end_abstraction
Diffstat (limited to '')
| -rw-r--r-- | src/Interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index a9a44b0f..fbb7ef9b 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -81,7 +81,7 @@ module Test = struct let call_id = C.fresh_fun_call_id () in assert (call_id = V.FunCallId.zero); let empty_absl = - create_empty_abstractions_from_abs_region_groups call_id V.Synth + create_empty_abstractions_from_abs_region_groups call_id V.SynthInput inst_sg.A.regions_hierarchy in (* Add the avalues to the abstractions and insert them in the context *) |