From b4ecf513020b2d5bfdfb7b9e2a721feab6e6998e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 28 Jan 2022 00:04:22 +0100
Subject: Remove the Aggregated variant from SymbolicAst.meta as it is included
 in the Assignment variant

---
 src/SymbolicAst.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/SymbolicAst.ml')

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) *)
 
-- 
cgit v1.2.3