diff options
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 *) |