diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-30 14:27:31 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-30 14:27:31 +0000 |
commit | bd5f5b0df93361d31592738fb18d77a275f04bc9 (patch) | |
tree | e2b46b5d5ded0265990ef24f4bf2ddb9640e7fc4 /src/interp/br-con.boot | |
parent | 6661a9aa8e79dc934bde807293857f2dfc0eca6f (diff) | |
download | open-axiom-bd5f5b0df93361d31592738fb18d77a275f04bc9.tar.gz |
more cleanup
Diffstat (limited to 'src/interp/br-con.boot')
-rw-r--r-- | src/interp/br-con.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/br-con.boot b/src/interp/br-con.boot index 93ee91ea..0a1c5c8a 100644 --- a/src/interp/br-con.boot +++ b/src/interp/br-con.boot @@ -254,8 +254,8 @@ mkDomTypeForm(typeForm,conform,domname) == --called by kargPage domainDescendantsOf(conform,domform) == main where --called by kargPage main() == conform is [op,:r] => - op = 'Join => jfn(delete('(Type Object),r),delete('(Type Object),IFCDR domform)) - op = 'CATEGORY => nil + op is 'Join => jfn(remove(r,'Object),remove(IFCDR domform,'Object)) + op is 'CATEGORY => nil domainsOf(conform,domform) domainsOf(conform,domform) jfn([y,:r],domlist) == --keep only those domains that appear in ALL parts of Join |