doc-src/Nitpick/nitpick.tex
changeset 33557 107f3df799f6
parent 33556 cba22e2999d5
child 33559 63925777ccf9
--- a/doc-src/Nitpick/nitpick.tex	Tue Oct 27 16:52:06 2009 +0100
+++ b/doc-src/Nitpick/nitpick.tex	Tue Oct 27 17:53:19 2009 +0100
@@ -2398,11 +2398,11 @@
 & \textit{subgoal}\end{aligned}$
 \postw
 
+\let\antiq=\textrm
+
 \subsection{Registration of Coinductive Datatypes}
 \label{registration-of-coinductive-datatypes}
 
-\let\antiq=\textrm
-
 If you have defined a custom coinductive datatype, you can tell Nitpick about
 it, so that it can use an efficient Kodkod axiomatization similar to the one it
 uses for lazy lists. The interface for registering and unregistering coinductive