diff options
Diffstat (limited to 'src/rewrites.ml')
| -rw-r--r-- | src/rewrites.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/rewrites.ml b/src/rewrites.ml index 2b5a1f94..8a222431 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -2836,7 +2836,8 @@ let rec rewrite_defs_pat_string_append = in let builtins = [ - ("integer", ("maybe_atoi", int_typ)); + ("int", ("maybe_int_of_prefix", int_typ)); + ("nat", ("maybe_nat_of_prefix", nat_typ)); ] in let (new_pat, new_guards, new_expr) = |