diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-20 05:08:05 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-20 05:08:05 +0000 |
commit | ad4542e0a85404bc38411060e5994ed11313a33a (patch) | |
tree | fcfb56e725c9d2c73a416bc72afb6953b332d7ff /src/interp/br-search.boot | |
parent | 09469d002d15b88c105731142bce403a1aa5a21b (diff) | |
download | open-axiom-ad4542e0a85404bc38411060e5994ed11313a33a.tar.gz |
more cleanup
Diffstat (limited to 'src/interp/br-search.boot')
-rw-r--r-- | src/interp/br-search.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/br-search.boot b/src/interp/br-search.boot index 311fd85f..e4d2ba6b 100644 --- a/src/interp/br-search.boot +++ b/src/interp/br-search.boot @@ -316,7 +316,7 @@ conform2OutputForm(form) == [op,:args] := form null args => form cosig := rest getDualSignatureFromDB op - atypes := rest CDAR getConstructorModemapFromDB op + atypes := getConstructorModemapFromDB(op).mmSource sargl := [fn for x in args for atype in atypes for pred in cosig] where fn() == pp [x,atype,pred] pred => conform2OutputForm x |