From fb482999dd7b26a3910ae9ee2dfe650c99cc140f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 4 Jan 2022 18:15:45 +0100
Subject: Make a minor modification

---
 src/Interpreter.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 745142b6..1c54d9a4 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -3814,6 +3814,7 @@ let eval_rvalue (config : C.config) (ctx : C.eval_ctx) (rvalue : E.rvalue) :
                     ( ctx,
                       { V.value = V.Concrete (V.Scalar sv); ty = Integer Isize }
                     )))
+      | Symbolic _ -> raise Unimplemented
       | _ -> failwith "Invalid input for `discriminant`")
   | E.Aggregate (aggregate_kind, ops) -> (
       (* Evaluate the operands *)
-- 
cgit v1.2.3