--- a/doc-src/Nitpick/nitpick.tex Tue Feb 23 11:05:32 2010 +0100
+++ b/doc-src/Nitpick/nitpick.tex Tue Feb 23 12:14:29 2010 +0100
@@ -154,7 +154,7 @@
15~seconds (instead of 30~seconds). This was done by adding the line
\prew
-\textbf{nitpick\_params} [\textit{sat\_solver}~= \textit{MiniSat\_JNI}, \,\textit{max\_threads}~= 1, \,\,\textit{timeout} = 15$\,s$]
+\textbf{nitpick\_params} [\textit{sat\_solver}~= \textit{MiniSat\_JNI}, \,\textit{max\_threads}~= 1, \,\textit{timeout} = 15$\,s$]
\postw
after the \textbf{begin} keyword. The JNI version of MiniSat is bundled with