From f7c7d9aa17d58e81230654c4f9f60327ed659e1d Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sat, 29 Dec 2012 17:36:15 -0800 Subject: [PATCH] * doc/intprops.texi (Integer Properties): Fix Texinfo typo. --- ChangeLog | 4 ++++ doc/intprops.texi | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 6d43b232a4..74546eef50 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2012-12-29 Paul Eggert + + * doc/intprops.texi (Integer Properties): Fix Texinfo typo. + 2012-12-28 Akim Demaille 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 -- 2.39.5