From 9d27e2e27db06eaad7565b55366ca8734b364fca Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 2 Aug 2023 11:03:59 +0200
Subject: Make progress proapagating the changes

---
 compiler/SynthesizeSymbolic.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'compiler/SynthesizeSymbolic.ml')

diff --git a/compiler/SynthesizeSymbolic.ml b/compiler/SynthesizeSymbolic.ml
index a6e11363..e2cdc726 100644
--- a/compiler/SynthesizeSymbolic.ml
+++ b/compiler/SynthesizeSymbolic.ml
@@ -36,8 +36,8 @@ let synthesize_symbolic_expansion (sv : V.symbolic_value)
             (* Boolean expansion: there should be two branches *)
             match ls with
             | [
-             (Some (V.SePrimitive (PV.Bool true)), true_exp);
-             (Some (V.SePrimitive (PV.Bool false)), false_exp);
+             (Some (V.SeLiteral (PV.Bool true)), true_exp);
+             (Some (V.SeLiteral (PV.Bool false)), false_exp);
             ] ->
                 ExpandBool (true_exp, false_exp)
             | _ -> raise (Failure "Ill-formed boolean expansion"))
@@ -50,7 +50,7 @@ let synthesize_symbolic_expansion (sv : V.symbolic_value)
             let get_scalar (see : V.symbolic_expansion option) : V.scalar_value
                 =
               match see with
-              | Some (V.SePrimitive (PV.Scalar cv)) ->
+              | Some (V.SeLiteral (PV.Scalar cv)) ->
                   assert (cv.PV.int_ty = int_ty);
                   cv
               | _ -> raise (Failure "Unreachable")
-- 
cgit v1.2.3