From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 2 Apr 2003 09:16:04 +0000 (+0000)
Subject: - gcc 3.2 aware changes
X-Git-Tag: before_refactoring~64
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8503f68912035b5a330c9ab461e294cbd88f66ca;p=helm.git

- gcc 3.2 aware changes
- made "textomml" autotools aware
---

diff --git a/helm/DEVEL/mathml_editor/textomml/Makefile.am b/helm/DEVEL/mathml_editor/textomml/Makefile.am
index d547d937f..cd66658f5 100644
--- a/helm/DEVEL/mathml_editor/textomml/Makefile.am
+++ b/helm/DEVEL/mathml_editor/textomml/Makefile.am
@@ -1,5 +1,5 @@
 
-bin_PROGRAMS = textomml
+noinst_PROGRAMS = textomml
 
 textomml_SOURCES = main.cc
 
diff --git a/helm/DEVEL/mathml_editor/textomml/main.cc b/helm/DEVEL/mathml_editor/textomml/main.cc
index 19a962189..473576fde 100644
--- a/helm/DEVEL/mathml_editor/textomml/main.cc
+++ b/helm/DEVEL/mathml_editor/textomml/main.cc
@@ -98,7 +98,7 @@ parseError(const char* option)
   printHelp();
 }
 
-void
+int
 main(int argc, char* argv[])
 {
   CLoggerConsole logger;
@@ -175,7 +175,7 @@ main(int argc, char* argv[])
 
   if (optind < argc)
     {
-      ifstream file(argv[optind]);
+      std::ifstream file(argv[optind]);
       if (!file)
 	{
 	  std::cerr << "can't open input file `" << argv[optind] << "'" << std::endl;