diff src/mkgendoc @ 3555:0b00b69ab2fd

[project @ 2000-02-03 03:36:13 by jwe]
author jwe
date Thu, 03 Feb 2000 03:37:55 +0000
parents c5600b44bef9
children c82ab37998aa
line wrap: on
line diff
--- a/src/mkgendoc
+++ b/src/mkgendoc
@@ -38,7 +38,7 @@
   print_doc_string (#name, doc);
 
 static void
-print_doc_string (const string& name, const std::string& doc)
+print_doc_string (const std::string& name, const std::string& doc)
 {
   std::cout << "";