diff options
Diffstat (limited to 'src/interp/clammed.boot')
-rw-r--r-- | src/interp/clammed.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/clammed.boot b/src/interp/clammed.boot index 0f84aac3..ad2856ac 100644 --- a/src/interp/clammed.boot +++ b/src/interp/clammed.boot @@ -65,7 +65,7 @@ coerceConvertMmSelection(funName,m1,m2) == l := selectMms1(funName,m2,[m1],[m1],NIL) mmS := [[sig,[targ,arg],:pred] for x in l | x is [sig,[.,arg],:pred] and hasCorrectTarget(m2,sig) and sig is [dc,targ,oarg] and oarg = m1] - mmS and CAR mmS + mmS and first mmS hasFileProperty(p,id,abbrev) == hasFilePropertyNoCache(p,id,abbrev) @@ -180,7 +180,7 @@ isLegitimateMode(t,hasPolyMode,polyVarList) == listOfDuplicates vl => return false polyVarList:= union(vl,polyVarList) hasPolyMode => false - con := CAR t + con := first t poly? := (con = 'Polynomial or con = 'Expression) isLegitimateMode(underDomainOf t,poly?,polyVarList) |