Wed Apr 27 21:04:59 UTC 2005  mantoniotti
  * Fixed factorial example.
diff -rN -u old-cl-unification-1/docs/html/control-flow.html new-cl-unification-1/docs/html/control-flow.html
--- old-cl-unification-1/docs/html/control-flow.html	2013-07-24 17:40:03.000000000 +0000
+++ new-cl-unification-1/docs/html/control-flow.html	2013-07-24 17:40:03.000000000 +0000
@@ -68,7 +68,7 @@
   (defun factorial (x)
     (<b>match-case</b> (x)
       (0 1)
-      (#T(number ?n) (factorial (1- ?n)))
+      (#T(number ?n) (* ?n (factorial (1- ?n))))
       (otherwise (error "Incorrect match for ~S." x))))
   </pre>
   </p>