From 2e17242ca363e2a6be127f30df040f74de401032 Mon Sep 17 00:00:00 2001 From: Sylvain Pion Date: Wed, 21 Oct 2009 17:30:46 +0000 Subject: [PATCH] Formatting comment by Andreas. --- STL_Extension/doc_tex/STL_Extension/main.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/STL_Extension/doc_tex/STL_Extension/main.tex b/STL_Extension/doc_tex/STL_Extension/main.tex index 75dfcfc858f..c5b728c025a 100644 --- a/STL_Extension/doc_tex/STL_Extension/main.tex +++ b/STL_Extension/doc_tex/STL_Extension/main.tex @@ -136,9 +136,9 @@ filtered by \ccc{Filtered_predicate}, know about it. It can also be used in other contexts as well, as it is a general tool. -\section{Default types in template arguments lists} +\section{Default Arguments in Template Parameter Lists} -In \CC, it is possible to specify defaults at the end of a template argument +In \CC, it is possible to specify defaults at the end of a template parameter list. Specifying that one wishes to use the default is simply done by omitting it. This is however possible only at the end of the list. \ccc{CGAL::Default} provides a simple mechanism that performs something equivalent anywhere in the