Merge pull request #480 from Eelis/trivial

zygoloid · zygoloid · commit 844a9b857ff3 · 2015-04-15T00:05:20.000+01:00
[re.badexp] Remove redundant colon.
diff --git a/source/regex.tex b/source/regex.tex
@@ -1018,7 +1018,7 @@
 \begin{itemdescr}
 \pnum\effects  Constructs an object of class \tcode{regex_error}.
 
-\pnum\postcondition:  \tcode{ecode == code()}
+\pnum\postcondition  \tcode{ecode == code()}
 \end{itemdescr}
 
 \indexlibrary{\idxcode{error_type}}%
