diff --git a/changelog b/changelog
index 6f8b253..e2ed957 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20091011 tpd src/axiom-website/patches.html 20091011.01.tpd.patch
+20091011 tpd src/interp/wi2.lisp remove makeSimplePredicateOrNil
 20091009 tpd src/axiom-website/patches.html 20091009.06.tpd.patch
 20091009 tpd src/interp/slam.lisp cleanup
 20091009 tpd src/axiom-website/patches.html 20091009.05.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index a3541d9..cec2eea 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -2147,5 +2147,7 @@ src/interp/clam.lisp cleanup<br/>
 src/interp/clam.lisp cleanup<br/>
 <a href="patches/20091009.06.tpd.patch">20091009.06.tpd.patch</a>
 src/interp/slam.lisp cleanup<br/>
+<a href="patches/20091011.01.tpd.patch">20091011.01.tpd.patch</a>
+src/interp/wi2.lisp cleanup<br/>
  </body>
 </html>
diff --git a/src/interp/wi2.lisp.pamphlet b/src/interp/wi2.lisp.pamphlet
index 9881c23..9a0bccf 100644
--- a/src/interp/wi2.lisp.pamphlet
+++ b/src/interp/wi2.lisp.pamphlet
@@ -2935,8 +2935,6 @@
 ;         --this assumes that l has no exits
 ;      a is ['IF, =p,a',.] => ['IF,p,a',b]
 ;      b is ['IF, =p,.,b'] => ['IF,p,a,b']
-;--      makeSimplePredicateOrNil p is ['SEQ,:s,['exit,1,val]] =>
-;--        parseTran ['SEQ,:s,['exit,1,incExitLevel ['IF,val,a,b]]]
 ;      ['IF,p,a,b]
 
 ;;;     ***       |parseIf,ifTran| REDEFINED
@@ -3087,15 +3085,6 @@
 (DEFUN |parseNot| (|u|)
   (CONS '|not| (CONS (|parseTran| (CAR |u|)) NIL)))
 
-;makeSimplePredicateOrNil p == nil
-
-;;;     ***       |makeSimplePredicateOrNil| REDEFINED
-
-(DEFUN |makeSimplePredicateOrNil| (|p|)
- (declare (ignore |p|))
- NIL) 
-
-;
 ;--======================================================================
 ;--                         From g-cndata.boot
 ;--======================================================================