Start working on translate_typed_value_to_rvalue

1 files changed, 1 insertions, 12 deletions

diff --git a/src/Pure.ml b/src/Pure.ml
index 45907610..1f66906d 100644
--- a/src/Pure.ml
+++ b/src/Pure.ml
@@ -54,17 +54,6 @@ type scalar_value = V.scalar_value
 
 type constant_value = V.constant_value
 
-type symbolic_value = {
-  sv_id : SymbolicValueId.id;
-  sv_ty : ty;
-  sv_rty : T.rty;
-  sv_ended_regions : RegionId.Set.t;
-      (** We need to remember what was the set of ended regions at the time the
-          symbolic value was introduced.
-       *)
-}
-(** TODO: remove *)
-
 type value = Concrete of constant_value | Adt of adt_value
 
 and adt_value = {
@@ -96,8 +85,8 @@ type projection = projection_elem list
 type place = { var : VarId.id; projection : projection }
 
 type rvalue =
-  | RvPlace of place
   | RvConcrete of constant_value
+  | RvPlace of place
   | RvAdt of adt_rvalue
 
 and adt_rvalue = {