# HG changeset patch
# User blanchet
# Date 1256676793 -3600
# Node ID 63925777ccf9cb168488ffd0300df9dedb6501d8
# Parent  a2db56854b8304e28ecf7c7a6cd652c474c6893d
fix typo in Nitpick manual

diff -r a2db56854b83 -r 63925777ccf9 doc-src/Nitpick/nitpick.tex
--- a/doc-src/Nitpick/nitpick.tex	Tue Oct 27 19:00:17 2009 +0100
+++ b/doc-src/Nitpick/nitpick.tex	Tue Oct 27 21:53:13 2009 +0100
@@ -2467,7 +2467,7 @@
 representation of functions synthesized by Isabelle, which is an implementation
 detail.
 
-\item[$\bullet$] Nitpick maintains a global cache of wellformedness conditions,
+\item[$\bullet$] Nitpick maintains a global cache of wellfoundedness conditions,
 which can become invalid if you change the definition of an inductive predicate
 that is registered in the cache. To clear the cache,
 run Nitpick with the \textit{tac\_timeout} option set to a new value (e.g.,