diff options
author | dos-reis <gdr@axiomatics.org> | 2009-08-17 10:04:18 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-08-17 10:04:18 +0000 |
commit | f20eeee3e9937d7696cc06841f6c411a0022963e (patch) | |
tree | fa49803d499a71a0e3d6861a9ffddd84a9c26147 /src/interp | |
parent | 03c927810fa1ac7d83ee72f1886645b310904646 (diff) | |
download | open-axiom-f20eeee3e9937d7696cc06841f6c411a0022963e.tar.gz |
* interp/c-util.boot (deltaContour): Fix thinko.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/c-util.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 4f5cf5ae..91bafd3e 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -272,7 +272,7 @@ intersectionEnvironment(e,e') == --$ie:= e'' this line is for debugging purposes only deltaContour([[c,:cl],:el],[[c',:cl'],:el']) == - ^el=el' => systemError '"deltaContour" --a cop out for now + not EQ(el,el') => systemError '"deltaContour" --a cop out for now eliminateDuplicatePropertyLists contourDifference(c,c') where contourDifference(c,c') == [first x for x in tails c while (x~=c')] eliminateDuplicatePropertyLists contour == |