diff options
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 => |