diff options
| author | Alastair Reid | 2018-06-27 15:44:44 +0100 |
|---|---|---|
| committer | Alastair Reid | 2018-06-27 15:44:44 +0100 |
| commit | 90219a78d6a7c8dc14ea40fac681a9643bdc5faf (patch) | |
| tree | 4ecd8048d5ba061fce564d9ba5bfd2038117606b /src/specialize.ml | |
| parent | 195f96ab4f10d69343ee6b7a1c1b2155af89608b (diff) | |
RTS: Add support for __ListConfig
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 f5808dfe..de82c920 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 "__SetConfig"; 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 "__ListConfig"; 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 |