From b583d18a8336b137b445cc01b713767f354168f4 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 8 Feb 2022 14:03:31 +0100
Subject: Make a minor update in InterpreterExpansion

---
 src/InterpreterExpansion.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/InterpreterExpansion.ml b/src/InterpreterExpansion.ml
index 625c63ef..4ccd2ec8 100644
--- a/src/InterpreterExpansion.ml
+++ b/src/InterpreterExpansion.ml
@@ -662,6 +662,9 @@ let greedy_expand_symbolics_with_borrows (config : C.config) : cm_fun =
         | T.Adt ((Tuple | Assumed Box), _, _) | T.Ref (_, _, _) ->
             (* Ok *)
             expand_symbolic_value_no_branching config sv None
+        | T.Adt (Assumed (Vec | Option), _, _) ->
+            (* We can't expand those *)
+            failwith "Attempted to greedily expand a Vec or an Option "
         | T.Array _ -> raise Errors.Unimplemented
         | T.Slice _ -> failwith "Can't expand symbolic slices"
         | T.TypeVar _ | Bool | Char | Never | Integer _ | Str ->
-- 
cgit v1.2.3