diff options
Diffstat (limited to 'src/SymbolicAst.ml')
-rw-r--r-- | src/SymbolicAst.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/SymbolicAst.ml b/src/SymbolicAst.ml index 07afd914..4eca712a 100644 --- a/src/SymbolicAst.ml +++ b/src/SymbolicAst.ml @@ -50,8 +50,6 @@ type call = { *) type meta = - | Aggregate of mplace option * V.typed_value - (** We generated an aggregate value *) | Assignment of mplace * V.typed_value (** We generated an assignment (destination, assigned value) *) |