From add767470c0483905e71c93ad161523a80c898d3 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 27 Jun 2018 14:52:40 +0100
Subject: Make sure __SetConfig gets included in generated code

---
 src/specialize.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/specialize.ml b/src/specialize.ml
index 0090cdfd..f5808dfe 100644
--- a/src/specialize.ml
+++ b/src/specialize.ml
@@ -364,7 +364,7 @@ let specialize_id_overloads instantiations id (Defs defs) =
    valspecs are then re-specialized. This process is iterated until
    the whole spec is specialized. *)
 let remove_unused_valspecs env ast =
-  let calls = ref (IdSet.of_list [mk_id "main"; mk_id "execute"; mk_id "decode"; mk_id "initialize_registers"; mk_id "append_64"]) in
+  let calls = ref (IdSet.of_list [mk_id "main"; mk_id "__SetConfig"; mk_id "execute"; mk_id "decode"; mk_id "initialize_registers"; mk_id "append_64"]) in
   let vs_ids = Initial_check.val_spec_ids ast in
 
   let inspect_exp = function
-- 
cgit v1.2.3