diff options
author | dos-reis <gdr@axiomatics.org> | 2008-05-13 07:45:41 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-05-13 07:45:41 +0000 |
commit | 4111ebc38334c0abcd6170db9a78cb8380917741 (patch) | |
tree | 8eec68789bdd8d8207a8f0ecca647aa91288a953 /src | |
parent | cca1e10eac77b9302c5862fa903872c792b36620 (diff) | |
download | open-axiom-4111ebc38334c0abcd6170db9a78cb8380917741.tar.gz |
* interp/c-util.boot (warnLiteral): Just warn, really.
* algebra/riccati.spad.pamphlet (RationalRicDE): Don't import
inexistent RatODETools.
Diffstat (limited to 'src')
-rw-r--r-- | src/ChangeLog | 6 | ||||
-rw-r--r-- | src/algebra/riccati.spad.pamphlet | 1 | ||||
-rw-r--r-- | src/interp/c-util.boot | 3 |
3 files changed, 7 insertions, 3 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 9eb33216..f46e4df2 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2008-05-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/c-util.boot (warnLiteral): Just warn, really. + * algebra/riccati.spad.pamphlet (RationalRicDE): Don't import + inexistent RatODETools. + 2008-05-12 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/c-util.boot (isLiteral): Declare. diff --git a/src/algebra/riccati.spad.pamphlet b/src/algebra/riccati.spad.pamphlet index 877d0403..2ba55a3e 100644 --- a/src/algebra/riccati.spad.pamphlet +++ b/src/algebra/riccati.spad.pamphlet @@ -353,7 +353,6 @@ RationalRicDE(F, UP): Exports == Implementation where ++ not necessarily into irreducibles. Implementation ==> add - import RatODETools(P, SUP) import RationalLODE(F, UP) import NonLinearSolvePackage F import PrimitiveRatDE(F, UP, L, LQ) diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 4b3647d3..65636852 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -155,8 +155,7 @@ consProplistOf(var,proplist,prop,val) == [[prop,:val],:proplist] warnLiteral x == - stackSemanticError(['%b,x,'%d, - '"is BOTH a variable and a literal"],nil) + stackWarning('"%1b is BOTH a variable a literal",[x]) intersectionEnvironment(e,e') == ce:= makeCommonEnvironment(e,e') |