summaryrefslogtreecommitdiff
path: root/doc/intprops.texi
diff options
context:
space:
mode:
authorPaul Eggert <eggert@cs.ucla.edu>2012-12-29 17:36:15 -0800
committerPaul Eggert <eggert@cs.ucla.edu>2012-12-29 17:41:24 -0800
commitf7c7d9aa17d58e81230654c4f9f60327ed659e1d (patch)
tree9989888927054398b96856b5193cf3e3a34ad231 /doc/intprops.texi
parent4df264ed9353298ef9c6bf7ae3121716d528d922 (diff)
downloadgnulib-f7c7d9aa17d58e81230654c4f9f60327ed659e1d.tar.gz
* doc/intprops.texi (Integer Properties): Fix Texinfo typo.
Diffstat (limited to 'doc/intprops.texi')
-rw-r--r--doc/intprops.texi2
1 files changed, 1 insertions, 1 deletions
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