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 | |
| parent | 03c927810fa1ac7d83ee72f1886645b310904646 (diff) | |
| download | open-axiom-f20eeee3e9937d7696cc06841f6c411a0022963e.tar.gz | |
* interp/c-util.boot (deltaContour): Fix thinko.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/interp/c-util.boot | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index f9eca4ff..8b31055d 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2009-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/c-util.boot (deltaContour): Fix thinko. + 2009-08-16 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/compiler.boot (compAtom): Don't single out "nil". 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 == |