From 9bf4d34f20b79b051730cf9536d08a8c07c54b02 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 24 Nov 2011 20:22:29 +0000 Subject: * 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. --- src/interp/define.boot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/interp/define.boot') 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 -- cgit v1.2.3