From 3c5fb260012ee8bb8b9fd90bc4624d893ac7678a Mon Sep 17 00:00:00 2001
From: Sidney Congard
Date: Mon, 8 Aug 2022 15:16:14 +0200
Subject: Register global names, one error remaining

---
 src/SymbolicToPure.ml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/SymbolicToPure.ml')

diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml
index 83cce3e9..16e48aef 100644
--- a/src/SymbolicToPure.ml
+++ b/src/SymbolicToPure.ml
@@ -687,7 +687,13 @@ let fresh_vars (vars : (string option * ty) list) (ctx : bs_ctx) :
   List.fold_left_map (fun ctx (name, ty) -> fresh_var name ty ctx) ctx vars
 
 let lookup_var_for_symbolic_value (sv : V.symbolic_value) (ctx : bs_ctx) : var =
-  V.SymbolicValueId.Map.find sv.sv_id ctx.sv_to_var
+  try (V.SymbolicValueId.Map.find sv.sv_id ctx.sv_to_var) with
+    Not_found ->
+      print_endline ("Missing " ^ Print.V.show_symbolic_value sv);
+      V.SymbolicValueId.Map.iter (fun id (v : var) ->
+          print_endline (" -- " ^ (Option.value v.basename ~default:""))
+        ) ctx.sv_to_var;
+      raise Not_found
 
 (** Peel boxes as long as the value is of the form `Box<T>` *)
 let rec unbox_typed_value (v : V.typed_value) : V.typed_value =
-- 
cgit v1.2.3