diff doc/interpreter/munge-texi.cc @ 3576:168277402d7c

[project @ 2000-02-04 11:09:38 by jwe]
author jwe
date Fri, 04 Feb 2000 11:12:34 +0000
parents 7576a76f6d7b
children 34ef135b29fa
line wrap: on
line diff
--- a/doc/interpreter/munge-texi.cc
+++ b/doc/interpreter/munge-texi.cc
@@ -48,7 +48,7 @@
 }
 
 static std::string
-extract_symbol_name (istream& is)
+extract_symbol_name (std::istream& is)
 {
   std::string symbol_name;