diff options
| author | Son HO | 2022-09-22 16:26:14 +0200 |
|---|---|---|
| committer | GitHub | 2022-09-22 16:26:14 +0200 |
| commit | 512b1ff5747f6c805e72d6847f4a6a10bffade7f (patch) | |
| tree | 01f484991275e902ef7ac83e7fbd12246f355a5a /src/SymbolicAst.ml | |
| parent | 9dc3b26ecf2bba6993febaca816c6797147ee7b9 (diff) | |
Update src/SymbolicAst.ml
Diffstat (limited to '')
| -rw-r--r-- | src/SymbolicAst.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/SymbolicAst.ml b/src/SymbolicAst.ml index fd490e43..ec2a80ca 100644 --- a/src/SymbolicAst.ml +++ b/src/SymbolicAst.ml @@ -66,7 +66,7 @@ type expression = | FunCall of call * expression | EndAbstraction of V.abs * expression | EvalGlobal of A.GlobalDeclId.id * V.symbolic_value * expression - (** A fresh symbolic value for the global *) + (** Evaluate a global to a fresh symbolic value *) | Expansion of mplace option * V.symbolic_value * expansion (** Expansion of a symbolic value. |