* doc/intprops.texi (Integer Properties): Fix Texinfo typo.

diff --git a/ChangeLog b/ChangeLog
index 6d43b23..74546ee 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2012-12-29  Paul Eggert  <eggert@cs.ucla.edu>
+
+       * doc/intprops.texi (Integer Properties): Fix Texinfo typo.
+
 2012-12-28  Akim Demaille  <akim@lrde.epita.fr>
 
        bootstrap: pass --force to autoreconf.

diff --git a/doc/intprops.texi b/doc/intprops.texi
index 633003b..b0bc99d 100644 (file)
--- a/doc/intprops.texi
+++ b/doc/intprops.texi
@@ -38,7 +38,7 @@ overflow-checking variant, and special testing methods.  For more
 information about these techniques, see: Dannenberg R, Dormann W,
 Keaton D @emph{et al.},
 @url{http://www.sei.cmu.edu/library/abstracts/reports/10tn008.cfm,
-As-if infinitely ranged integer model, 2nd ed.}, Software Engineering
+As-if infinitely ranged integer model}, 2nd ed., Software Engineering
 Institute Technical Note CMU/SEI-2010-TN-008, April 2010.
 
 Gnulib supports the precondition testing technique, as this is easy to