remove unused special function

This commit is contained in:
microproofs 2024-03-07 14:14:58 -05:00 committed by Kasey
parent 541d96f558
commit dcec8ecfe6
1 changed files with 0 additions and 8 deletions

View File

@ -208,14 +208,6 @@ impl CodeGenSpecialFuncs {
),
);
key_to_func.insert(
TOO_MANY_ITEMS.to_string(),
(
Term::string("List/Tuple/Constr contains more items than expected"),
string(),
),
);
CodeGenSpecialFuncs {
used_funcs: vec![],
key_to_func,