diff options
| author | Son Ho | 2022-10-27 11:52:48 +0200 |
|---|---|---|
| committer | Son HO | 2022-10-27 12:58:47 +0200 |
| commit | 5cdea01dea654713b887017efe80e620f8e14932 (patch) | |
| tree | cba45e978c02a20b09d164c5dcfbe55bd4e7ed42 /compiler/InterpreterExpansion.ml | |
| parent | c1b2b95bf5bfdf62b004bff4a729655663519448 (diff) | |
Fix some comment references
Diffstat (limited to '')
| -rw-r--r-- | compiler/InterpreterExpansion.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterExpansion.ml b/compiler/InterpreterExpansion.ml index 8caa828e..9a944428 100644 --- a/compiler/InterpreterExpansion.ml +++ b/compiler/InterpreterExpansion.ml @@ -431,7 +431,7 @@ let expand_symbolic_value_borrow (config : C.config) Apply a branching symbolic expansion to a context and execute all the branches. Note that the expansion is optional for every branch (this is - used for integer expansion: see [expand_symbolic_int]). + used for integer expansion: see {!expand_symbolic_int}). [see_cf_l]: list of pairs (optional symbolic expansion, continuation) *) |