diff options
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 == |