diff options
Diffstat (limited to '')
| -rw-r--r-- | src/SymbolicAst.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/SymbolicAst.ml b/src/SymbolicAst.ml index 9cab092d..fd490e43 100644 --- a/src/SymbolicAst.ml +++ b/src/SymbolicAst.ml @@ -65,6 +65,8 @@ type expression = | Panic | 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 *) | Expansion of mplace option * V.symbolic_value * expansion (** Expansion of a symbolic value. |