From 1a7be4c66f90e63995eec0c27efdf85fa454c130 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Thu, 14 Aug 2014 03:26:08 +0200
Subject: [PATCH] fixes #722

---
 doc/manual.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual.txt b/doc/manual.txt
index 6d49bcd32d..89a417fb22 100644
--- a/doc/manual.txt
+++ b/doc/manual.txt
@@ -5321,7 +5321,7 @@ See `Ordinary vs immediate templates`_.
 compilation option pragmas
 --------------------------
 The listed pragmas here can be used to override the code generation options
-for a section of code.
+for a proc/method/converter.
 
 The implementation currently provides the following possible options (various
 others may be added later).