diff options
author | dos-reis <gdr@axiomatics.org> | 2011-11-24 20:22:29 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-11-24 20:22:29 +0000 |
commit | 9bf4d34f20b79b051730cf9536d08a8c07c54b02 (patch) | |
tree | 12b33b579a7a218edacb44f8c2da62d1f468410e /src/interp/define.boot | |
parent | fdffee8492600045e35fc54c3379e559c66f8d19 (diff) | |
download | open-axiom-9bf4d34f20b79b051730cf9536d08a8c07c54b02.tar.gz |
* interp/define.boot: Tidy.
* interp/functor.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/topics.boot: Likewise.
* interp/trace.boot: Likewise.
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 9bddd837..a54ac15a 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1657,7 +1657,7 @@ compDefWhereClause(['DEF,form,signature,body],m,e) == -- 4. construct a WhereList which declares and/or defines the xi's in -- the order constructed in step 3 - whereList := [addSuchthat(x,[":",x,LASSOC(x,argSigAlist)]) for x in varList] + whereList := [addSuchthat(x,[":",x,symbolTarget(x,argSigAlist)]) for x in varList] where addSuchthat(x,y) == p := LASSOC(x,$predAlist) => ["|",y,p] y |