diff options
Diffstat (limited to 'src/SymbolicAst.ml')
| -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. |