# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1316705253 14400
# Node ID 5cdfbf56afbe8df82ac8cbbc36a057b0a4dbec85
# Parent  f1d390f305d78781fc17993400ad7b0c3dd85ac4
Cope with coqdoc bug

diff -r f1d390f305d7 -r 5cdfbf56afbe src/LogicProg.v
--- a/src/LogicProg.v	Thu Sep 22 11:11:03 2011 -0400
+++ b/src/LogicProg.v	Thu Sep 22 11:27:33 2011 -0400
@@ -604,7 +604,7 @@
     %\item%#<li># %\textbf{%#<b>#Right Cancellation#</b>#%}%: [a * x = b * x -> a = b]#</li>#
     %\item%#<li># %\textbf{%#<b>#Left Cancellation#</b>#%}%: [x * a = x * b -> a = b]#</li>#
     %\item%#<li># %\textbf{%#<b>#Distributivity of Inverse#</b>#%}%: [i (a * b) = i b * i a]#</li>#
-    %\item%#<li># %\textbf{%#<b>#Double Inverse#</b>#%}%: [i (i a) = a]#</li>#
+    %\item%#<li># %\textbf{%#<b>#Double Inverse#</b>#%}%: [i (][i a) = a]#</li>#
     %\item%#<li># %\textbf{%#<b>#Identity Inverse#</b>#%}%: [i e = e]#</li>#
   #</ul> </li>#%\end{itemize}%