1 files changed, 7 insertions, 7 deletions
diff --git a/docs/opt-coercion/code.sty b/docs/opt-coercion/code.sty
index fe5b38c35c..e5abaaf424 100644
--- a/docs/opt-coercion/code.sty
+++ b/docs/opt-coercion/code.sty
@@ -4,22 +4,22 @@
 % you write "\makeatactive". From then on, inline code is written as @\x
 % -> x_1 & y@. The only difference with what you are used to, is that
 % instead of
-% 
+%
 % @
 %   foo :: Int -> Int
 %   foo = \n -> n+1
 % @
-% 
+%
 % you have to write
-% 
+%
 % \begin{code}
 %   foo :: Int -> Int
 %   foo = \n -> n+1
 % \end{code}
-% 
-% and that you cannot use @ in \section{} and \caption{}. For the paper that occured twice, in which case I had to replace @...@ b y \texttt{...}.
-% 
-% 
+%
+% and that you cannot use @ in \section{} and \caption{}. For the paper that occurred twice, in which case I had to replace @...@ b y \texttt{...}.
+%
+%
 % code.sty  --- nice verbatim mode for code
 
 % To get '@' use \verb+@+