# HG changeset patch
# User berghofe
# Date 964543432 -7200
# Node ID 6c93b1eb11f87d9c092407e4457910df89a8916f
# Parent  13b10be222bfd19a41aa5f3e60297e7029a053a8
Corrected example which still used old primrec syntax.

diff -r 13b10be222bf -r 6c93b1eb11f8 doc-src/Ref/simplifier.tex
--- a/doc-src/Ref/simplifier.tex	Tue Jul 25 17:47:55 2000 +0200
+++ b/doc-src/Ref/simplifier.tex	Tue Jul 25 18:43:52 2000 +0200
@@ -1091,7 +1091,7 @@
 \begin{ttbox}
 NatSum = Arith +
 consts sum     :: [nat=>nat, nat] => nat
-primrec "sum" nat 
+primrec 
   "sum f 0 = 0"
   "sum f (Suc n) = f(n) + sum f n"
 end