From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 25 Jun 2003 17:13:20 +0000 (+0000)
Subject: added tons of #include <cassert> to make latest gcc compiler happy
X-Git-Tag: camera_ready~49
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=05907edbcd5364bac6b06153a6a134c8b8a300d7;p=helm.git

added tons of #include <cassert> to make latest gcc compiler happy
---

diff --git a/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc b/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc
index 6a4eacad1..25759823b 100644
--- a/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc
+++ b/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc
@@ -24,6 +24,7 @@
  */
 
 #include <GdomeSmartDOMXSLT.hh>
+#include <cassert>
 
 #include "ALogger.hh"
 #include "TDictionary.hh"
diff --git a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
index e5cac369f..fddb24a58 100644
--- a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
+++ b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
@@ -29,6 +29,7 @@
 #include "TDocument.hh"
 #include "CMathMLFactoryXSLT.hh"
 #include "AMathMLConsumer.hh"
+#include <cassert>
 
 CMathMLFactoryXSLT::CMathMLFactoryXSLT(ALogger& l, const DOMX::XSLTStylesheet& s)
   : AMathMLFactory(l), style(s)
diff --git a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc
index d3706a704..7893fcb46 100644
--- a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc
+++ b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc
@@ -29,6 +29,7 @@
 #include "TDocument.hh"
 #include "CMathMLFactoryXSLTDiff.hh"
 #include "AMathMLConsumer.hh"
+#include <cassert>
 
 CMathMLFactoryXSLTDiff::CMathMLFactoryXSLTDiff(ALogger& l, const DOMX::XSLTStylesheet& s)
   : AMathMLFactory(l), style(s)
diff --git a/helm/DEVEL/mathml_editor/src/Diff.cc b/helm/DEVEL/mathml_editor/src/Diff.cc
index 6c226babd..d8df81201 100644
--- a/helm/DEVEL/mathml_editor/src/Diff.cc
+++ b/helm/DEVEL/mathml_editor/src/Diff.cc
@@ -27,6 +27,7 @@
 #include <functional>
 #include <vector>
 #include <algorithm>
+#include <cassert>
 
 #include "Diff.hh"
 
diff --git a/helm/DEVEL/mathml_editor/src/LPushLexer.cc b/helm/DEVEL/mathml_editor/src/LPushLexer.cc
index 414dd7826..a16801bf0 100644
--- a/helm/DEVEL/mathml_editor/src/LPushLexer.cc
+++ b/helm/DEVEL/mathml_editor/src/LPushLexer.cc
@@ -25,6 +25,7 @@
 
 #include <string>
 #include <cctype>
+#include <cassert>
 
 #include "ALogger.hh"
 #include "TToken.hh"
diff --git a/helm/DEVEL/mathml_editor/src/TDictionary.cc b/helm/DEVEL/mathml_editor/src/TDictionary.cc
index 2359b69cb..25f6c9674 100644
--- a/helm/DEVEL/mathml_editor/src/TDictionary.cc
+++ b/helm/DEVEL/mathml_editor/src/TDictionary.cc
@@ -24,6 +24,7 @@
  */
 
 #include <sstream>
+#include <cassert>
 
 #include "dom.hh"
 #include "config.dirs"
diff --git a/helm/DEVEL/mathml_editor/src/TDocument.cc b/helm/DEVEL/mathml_editor/src/TDocument.cc
index 322a08d7f..ca4878e6c 100644
--- a/helm/DEVEL/mathml_editor/src/TDocument.cc
+++ b/helm/DEVEL/mathml_editor/src/TDocument.cc
@@ -24,6 +24,7 @@
  */
 
 #include <sstream>
+#include <cassert>
 
 #include "globals.hh"
 #include "dom.hh"
diff --git a/helm/DEVEL/mathml_editor/src/TNode.cc b/helm/DEVEL/mathml_editor/src/TNode.cc
index db1e4ce85..3c67d9d60 100644
--- a/helm/DEVEL/mathml_editor/src/TNode.cc
+++ b/helm/DEVEL/mathml_editor/src/TNode.cc
@@ -25,6 +25,7 @@
 
 #include "globals.hh"
 #include "TNode.hh"
+#include <cassert>
 
 TNode
 TNode::next() const
diff --git a/helm/DEVEL/mathml_editor/src/TPushLexer.cc b/helm/DEVEL/mathml_editor/src/TPushLexer.cc
index 3d2abc097..da15822c3 100644
--- a/helm/DEVEL/mathml_editor/src/TPushLexer.cc
+++ b/helm/DEVEL/mathml_editor/src/TPushLexer.cc
@@ -25,6 +25,7 @@
 
 #include <string>
 #include <cctype>
+#include <cassert>
 
 #include "TToken.hh"
 #include "TPushLexer.hh"
diff --git a/helm/DEVEL/mathml_editor/src/TPushParser.cc b/helm/DEVEL/mathml_editor/src/TPushParser.cc
index 31b6e9867..0c96fe439 100644
--- a/helm/DEVEL/mathml_editor/src/TPushParser.cc
+++ b/helm/DEVEL/mathml_editor/src/TPushParser.cc
@@ -23,6 +23,8 @@
  * or send an email to <lpadovan@cs.unibo.it>
  */
 
+#include <cassert>
+
 #include "ALogger.hh"
 #include "TPushParser.hh"
 #include "AMathMLFactory.hh"
diff --git a/helm/DEVEL/mathml_editor/src/TTokenizer.cc b/helm/DEVEL/mathml_editor/src/TTokenizer.cc
index 143faa80f..14eeaadb0 100644
--- a/helm/DEVEL/mathml_editor/src/TTokenizer.cc
+++ b/helm/DEVEL/mathml_editor/src/TTokenizer.cc
@@ -24,6 +24,7 @@
  */
 
 #include <algorithm>
+#include <cassert>
 
 #include "TTokenizer.hh"
 #include "TPushLexer.hh"
diff --git a/helm/DEVEL/mathml_editor/test/editor.cc b/helm/DEVEL/mathml_editor/test/editor.cc
index eab57f709..38c8bbbd0 100644
--- a/helm/DEVEL/mathml_editor/test/editor.cc
+++ b/helm/DEVEL/mathml_editor/test/editor.cc
@@ -23,6 +23,8 @@
  * or send an email to <lpadovan@cs.unibo.it>
  */
 
+#include <cassert>
+
 #include "dom.hh"
 #include "TPushParser.hh"
 
diff --git a/helm/DEVEL/mathml_editor/textomml/main.cc b/helm/DEVEL/mathml_editor/textomml/main.cc
index 473576fde..9da0f0993 100644
--- a/helm/DEVEL/mathml_editor/textomml/main.cc
+++ b/helm/DEVEL/mathml_editor/textomml/main.cc
@@ -24,8 +24,8 @@
  */
 
 #include <getopt.h>
-
 #include <fstream>
+#include <cassert>
 
 #include "dom.hh"
 #include "TPushParser.hh"