diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-30 11:25:58 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-30 11:25:58 -0800 |
commit | 8d6bf58510fb39efa6824cdc902a6527a90e702b (patch) | |
tree | 28566eab894085781a23d31be5774dfa8830c0cd /src/interp/format.boot | |
parent | 370affc3f817800a27946302f688d62dfe654877 (diff) | |
download | open-axiom-8d6bf58510fb39efa6824cdc902a6527a90e702b.tar.gz |
Normalize spelling of mkpf.
Diffstat (limited to 'src/interp/format.boot')
-rw-r--r-- | src/interp/format.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/format.boot b/src/interp/format.boot index 66d36400..fa7c9af8 100644 --- a/src/interp/format.boot +++ b/src/interp/format.boot @@ -90,7 +90,7 @@ listOfPredOfTypePatternIds p == removeIsDomains pred == pred is ['isDomain,a,b] => true pred is ['AND,:predl] => - MKPF([x for x in predl | x isnt ['isDomain,:.]],'AND) + mkpf([x for x in predl | x isnt ['isDomain,:.]],'AND) pred canRemoveIsDomain? pred == |