diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet
index be10789..6727ddf 100644
--- a/books/bookvol10.3.pamphlet
+++ b/books/bookvol10.3.pamphlet
@@ -118090,25 +118090,25 @@ SingleInteger(): Join(IntegerNumberSystem,Logic,OpenMath) with
OMwrite(x: %): String ==
s: String := ""
sp := OM_-STRINGTOSTRINGPTR(s)$Lisp
- dev: OpenMathDevice := OMopenString(sp pretend String, OMencodingXML)
+ dev: OpenMathDevice := OMopenString(sp @ String, OMencodingXML)
OMputObject(dev)
writeOMSingleInt(dev, x)
OMputEndObject(dev)
OMclose(dev)
- s := OM_-STRINGPTRTOSTRING(sp)$Lisp pretend String
+ s := OM_-STRINGPTRTOSTRING(sp)$Lisp @ String
s
OMwrite(x: %, wholeObj: Boolean): String ==
s: String := ""
sp := OM_-STRINGTOSTRINGPTR(s)$Lisp
- dev: OpenMathDevice := OMopenString(sp pretend String, OMencodingXML)
+ dev: OpenMathDevice := OMopenString(sp @ String, OMencodingXML)
if wholeObj then
OMputObject(dev)
writeOMSingleInt(dev, x)
if wholeObj then
OMputEndObject(dev)
OMclose(dev)
- s := OM_-STRINGPTRTOSTRING(sp)$Lisp pretend String
+ s := OM_-STRINGPTRTOSTRING(sp)$Lisp @ String
s
OMwrite(dev: OpenMathDevice, x: %): Void ==
@@ -118148,7 +118148,7 @@ SingleInteger(): Join(IntegerNumberSystem,Logic,OpenMath) with
x + y == QSPLUS(x,y)$Lisp
x:% - y:% == QSDIFFERENCE(x,y)$Lisp
x:% * y:% == QSTIMES(x,y)$Lisp
- x:% ** n:NonNegativeInteger == ((EXPT(x, n)$Lisp) pretend Integer)::%
+ x:% ** n:NonNegativeInteger == ((EXPT(x, n)$Lisp) @ Integer)::%
x quo y == QSQUOTIENT(x,y)$Lisp
x rem y == QSREMAINDER(x,y)$Lisp
divide(x, y) == CONS(QSQUOTIENT(x,y)$Lisp,QSREMAINDER(x,y)$Lisp)$Lisp
diff --git a/buglist b/buglist
index bbddf2e..9a4b0fb 100644
--- a/buglist
+++ b/buglist
@@ -13983,9 +13983,7 @@ warnings 20057:
>compiling SINT.spad to SINT.nrlib
Warnings:
- [1] OMwrite: pretend(String) -- should replace by @
- [2] **: pretend(Integer) -- should replace by @
- [3] hash: signature of lhs not unique: $$ chosen
+ [1] hash: signature of lhs not unique: $$ chosen
=========================================================================
warnings 20056:
@@ -36291,9 +36289,7 @@ Warning: PSETCAT-;exactQuo has a duplicate definition in this file
finalizing nrlib SINT
Warnings:
- [1] OMwrite: pretend(String) -- should replace by @
- [2] **: pretend(Integer) -- should replace by @
- [3] hash: signature of lhs not unique: $$ chosen
+ [1] hash: signature of lhs not unique: $$ chosen
============================================================================
@@ -36325,10 +36321,8 @@ Value = NIL
finalizing nrlib SYMBOL
Warnings:
- [1] OMwrite: pretend(String) -- should replace by @
- [2] latex: pretend(String) -- should replace by @
- [3] latex: s has no value
- [4] latex: sc has no value
+ [1] latex: s has no value
+ [2] latex: sc has no value
============================================================================
@@ -40592,3 +40586,13 @@ warnings 20056:
[1] OMwrite: pretend(String) -- should replace by @
[2] latex: pretend(String) -- should replace by @
+fixed 20130314.08.tpd.patch
+=========================================================================
+warnings 20057:
+
+>compiling SINT.spad to SINT.nrlib
+
+ Warnings:
+ [1] OMwrite: pretend(String) -- should replace by @
+ [2] **: pretend(Integer) -- should replace by @
+
diff --git a/changelog b/changelog
index 6599aa0..90a682b 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,6 @@
+20130314 tpd src/axiom-website/patches.html 20130314.08.tpd.patch
+20130314 tpd buglist SINT fix 20057 pretend
+20130314 tpd books/bookvol10.3 SINT fix 20057 pretend
20130314 tpd src/axiom-website/patches.html 20130314.07.tpd.patch
20130314 tpd buglist SYMBOL fix 20056 pretend
20130314 tpd books/bookvol10.3 SYMBOL fix 20056 pretend
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 8d8b605..56d61ae 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4043,5 +4043,7 @@ books/bookvol5 treeshake interpreter code
books/bookvol10.3 ITAYLOR fix 20542 pretend
20130314.07.tpd.patch
books/bookvol10.3 SYMBOL fix 20056 pretend
+20130314.08.tpd.patch
+books/bookvol10.3 SINT fix 20057 pretend