Report locations for missing SMT generators

rems-project · Jan 7, 2025 · 1cc3881 · 1cc3881
1 parent fd10566
commit 1cc3881
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/sail_smt_backend/jib_smt.ml b/src/sail_smt_backend/jib_smt.ml
@@ -553,7 +553,7 @@ module Make (Config : CONFIG) = struct
             | Some generator ->
                 let* value = generator args ret_ctyp in
                 singleton (define_const id ret_ctyp value)
-            | None -> failwith ("No generator " ^ string_of_id function_id)
+            | None -> raise (Reporting.err_general l ("No generator " ^ string_of_id function_id))
           )
         )
         else if extern && string_of_id function_id = "internal_vector_init" then singleton (declare_const id ret_ctyp)