diff doc/interpreter/munge-texi.cc @ 4178:b75f74a76941

[project @ 2002-11-13 15:43:35 by jwe]
author jwe
date Wed, 13 Nov 2002 15:43:35 +0000
parents 34ef135b29fa
children bc6059c5ddc7
line wrap: on
line diff
--- a/doc/interpreter/munge-texi.cc
+++ b/doc/interpreter/munge-texi.cc
@@ -36,8 +36,7 @@
 
 #include <map>
 
-static map<std::string, std::string> help_text
-  = map<std::string, std::string> ();
+static std::map<std::string, std::string> help_text;
 
 #else