diff options
| -rw-r--r-- | lib/rts.c | 2 | ||||
| -rw-r--r-- | lib/rts.h | 1 | ||||
| -rw-r--r-- | src/specialize.ml | 2 |
3 files changed, 3 insertions, 2 deletions
@@ -391,7 +391,7 @@ int process_arguments(int argc, char *argv[]) // do nothing } else { fprintf(stderr, "Could not parse argument %s\n", optarg); - // z__ListConfig(); + z__ListConfig(UNIT); return -1; }; mpz_t s_value; @@ -128,3 +128,4 @@ void setup_rts(void); void cleanup_rts(void); unit z__SetConfig(sail_string, sail_int); +unit z__ListConfig(const unit u); 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 |