diff options
Diffstat (limited to 'src/Interpreter.ml')
| -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 8cab8c47..3c467fbe 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -73,7 +73,7 @@ module Test = struct in (* Initialize the abstractions as empty (i.e., with no avalues) abstractions *) let empty_absl = - create_empty_abstractions_from_abs_region_groups + create_empty_abstractions_from_abs_region_groups V.Synth inst_sg.A.regions_hierarchy in (* Add the avalues to the abstractions and insert them in the context *) |