diff options
| author | Son HO | 2023-11-28 08:04:43 +0100 |
|---|---|---|
| committer | GitHub | 2023-11-28 08:04:43 +0100 |
| commit | b78850a81dfea78bc280f1b5b6d2fdcb421e386a (patch) | |
| tree | 3a4807b26856c0c2e21f1a8a4cdf80da136c26ec /compiler/SymbolicAst.ml | |
| parent | bacf3f5f6f5f6a9aa650d5ae8d12a132fd747039 (diff) | |
| parent | a3a3ab9723348e24f83073a52145128f34022265 (diff) | |
Merge pull request #46 from AeneasVerif/son_improves
Minor improvements for the extraction
Diffstat (limited to '')
| -rw-r--r-- | compiler/SymbolicAst.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/SymbolicAst.ml b/compiler/SymbolicAst.ml index a9f45926..53f99b7f 100644 --- a/compiler/SymbolicAst.ml +++ b/compiler/SymbolicAst.ml @@ -66,8 +66,8 @@ type 'a region_group_id_map = 'a RegionGroupId.Map.t [@@deriving show] (** Ancestor for {!expression} iter visitor. - We could make it inherit the visitor for {!eval_ctx}, but in all the uses - of this visitor we don't need to explore {!eval_ctx}, so we make it inherit + We could make it inherit the visitor for {!Contexts.eval_ctx}, but in all the uses + of this visitor we don't need to explore {!Contexts.eval_ctx}, so we make it inherit the abstraction visitors instead. *) class ['self] iter_expression_base = |