diff options
| author | Alasdair Armstrong | 2018-06-27 14:52:40 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-06-27 14:53:50 +0100 |
| commit | add767470c0483905e71c93ad161523a80c898d3 (patch) | |
| tree | 45f64266e95c2bad25b38ff1ef27a985b363b775 /src/specialize.ml | |
| parent | ffcc5b33f501126299ffe5da3618ef05380433f4 (diff) | |
Make sure __SetConfig gets included in generated code
Diffstat (limited to 'src/specialize.ml')
| -rw-r--r-- | src/specialize.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |