diff options
| author | Sidney Congard | 2022-08-10 18:56:25 +0200 |
|---|---|---|
| committer | Sidney Congard | 2022-08-10 18:56:25 +0200 |
| commit | cd754eabe3af025ca3465c5fc6d8cb48da66a1ae (patch) | |
| tree | 34d1af8d8413d3e28ae779b2ff5c9e911f573e93 /src/SymbolicAst.ml | |
| parent | 3c5fb260012ee8bb8b9fd90bc4624d893ac7678a (diff) | |
Corrected translation without using functions, remaining bug in hashmap translation
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. |