diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-16 16:11:23 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-16 16:11:23 +0000 |
| commit | 4775a003250c85f1797abe4a2e262eb6ce78b83a (patch) | |
| tree | ded7048ef2b4344d6e9b525b083a45b05d37972d /src/algebra/expr.spad.pamphlet | |
| parent | 77a93f4a3987914d71bc491a7bb0e322651e6be3 (diff) | |
| download | open-axiom-4775a003250c85f1797abe4a2e262eb6ce78b83a.tar.gz | |
* algebra/op.spad.pamphlet (assert$BasicOperator): Remove overload
with String parameter,
Diffstat (limited to 'src/algebra/expr.spad.pamphlet')
| -rw-r--r-- | src/algebra/expr.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/expr.spad.pamphlet b/src/algebra/expr.spad.pamphlet index 4a47ea75..cc82f5ca 100644 --- a/src/algebra/expr.spad.pamphlet +++ b/src/algebra/expr.spad.pamphlet @@ -621,7 +621,7 @@ FunctionSpaceAttachPredicates(R, F, D): Exports == Implementation where st(k, l) == mkk assert(setProperty(copy operator k, PMPRED, - concat(preds k, l) pretend None), string(new()$Symbol)) + concat(preds k, l) pretend None), gensym()$Identifier) suchThat(p:F, l:List(D -> Boolean)) == retractIfCan(p)@Union(Symbol, "failed") case Symbol => |