diff options
-rw-r--r-- | ChangeLog | 4 | ||||
-rw-r--r-- | doc/intprops.texi | 2 |
2 files changed, 5 insertions, 1 deletions
@@ -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 633003b88c..b0bc99d120 100644 --- 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 |