diff options
Diffstat (limited to '031address.cc')
| -rw-r--r-- | 031address.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/031address.cc b/031address.cc index 46c38fd6..5514b8c2 100644 --- a/031address.cc +++ b/031address.cc @@ -90,6 +90,9 @@ reagent lookup_memory(reagent x) { :(after "bool is_mu_address(reagent r)") if (!canonize_type(r)) return false; +:(after "bool is_mu_number(reagent r)") + if (!canonize_type(r)) return false; + :(code) bool canonize_type(reagent& r) { while (has_property(r, "lookup")) { |