]> matita.cs.unibo.it Git - helm.git/commitdiff
added tons of #include <cassert> to make latest gcc compiler happy
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 25 Jun 2003 17:13:20 +0000 (17:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 25 Jun 2003 17:13:20 +0000 (17:13 +0000)
13 files changed:
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc
helm/DEVEL/mathml_editor/src/Diff.cc
helm/DEVEL/mathml_editor/src/LPushLexer.cc
helm/DEVEL/mathml_editor/src/TDictionary.cc
helm/DEVEL/mathml_editor/src/TDocument.cc
helm/DEVEL/mathml_editor/src/TNode.cc
helm/DEVEL/mathml_editor/src/TPushLexer.cc
helm/DEVEL/mathml_editor/src/TPushParser.cc
helm/DEVEL/mathml_editor/src/TTokenizer.cc
helm/DEVEL/mathml_editor/test/editor.cc
helm/DEVEL/mathml_editor/textomml/main.cc

index 6a4eacad165fee6671625c0cd4a5e766fd60b354..25759823ba05e8351b9d8b6ab6347121bde9a782 100644 (file)
@@ -24,6 +24,7 @@
  */
 
 #include <GdomeSmartDOMXSLT.hh>
+#include <cassert>
 
 #include "ALogger.hh"
 #include "TDictionary.hh"
index e5cac369f890060c31ef8ac4dcfab6cff30f3282..fddb24a580efcb18319ce53e124f6d0a6ec9bbcc 100644 (file)
@@ -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)
index d3706a70427f307db334196c9c9593ef2f59d614..7893fcb46972661a6390aba22ede83642dc8d7c8 100644 (file)
@@ -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)
index 6c226babdf6ee40defcad41915ae993b37857fbe..d8df81201aec2a034725fe13c9477b2c53e4f3c5 100644 (file)
@@ -27,6 +27,7 @@
 #include <functional>
 #include <vector>
 #include <algorithm>
+#include <cassert>
 
 #include "Diff.hh"
 
index 414dd7826c10af94601698ea2093ab8e1fe47b29..a16801bf0d03f6e533be2fce52d5ffd33823173a 100644 (file)
@@ -25,6 +25,7 @@
 
 #include <string>
 #include <cctype>
+#include <cassert>
 
 #include "ALogger.hh"
 #include "TToken.hh"
index 2359b69cbfa6855596875bed87535666056fc733..25f6c9674cc353c5359eea52e67eaa44493ea8da 100644 (file)
@@ -24,6 +24,7 @@
  */
 
 #include <sstream>
+#include <cassert>
 
 #include "dom.hh"
 #include "config.dirs"
index 322a08d7f84bfd25d0fa6005d57de7338b5e46a9..ca4878e6c75b385b31a2418b9062255556b6a4c5 100644 (file)
@@ -24,6 +24,7 @@
  */
 
 #include <sstream>
+#include <cassert>
 
 #include "globals.hh"
 #include "dom.hh"
index db1e4ce851cbd722c2dd109b783bb34c32ee98a9..3c67d9d60076cefefb74e9618b805509fbe2fa21 100644 (file)
@@ -25,6 +25,7 @@
 
 #include "globals.hh"
 #include "TNode.hh"
+#include <cassert>
 
 TNode
 TNode::next() const
index 3d2abc097821f5fe3c78d1b021f32e8f8b6eb934..da15822c39794eeac79e8a37a62866c2e19ffd5f 100644 (file)
@@ -25,6 +25,7 @@
 
 #include <string>
 #include <cctype>
+#include <cassert>
 
 #include "TToken.hh"
 #include "TPushLexer.hh"
index 31b6e986728679a9b3485c7f78d557b85e9b5d83..0c96fe43968c94be52a1fdcffac385012d683ebb 100644 (file)
@@ -23,6 +23,8 @@
  * or send an email to <lpadovan@cs.unibo.it>
  */
 
+#include <cassert>
+
 #include "ALogger.hh"
 #include "TPushParser.hh"
 #include "AMathMLFactory.hh"
index 143faa80fd0444d8c04245adb838dacbb0389219..14eeaadb009557541cb86e0c849d46840d6919e6 100644 (file)
@@ -24,6 +24,7 @@
  */
 
 #include <algorithm>
+#include <cassert>
 
 #include "TTokenizer.hh"
 #include "TPushLexer.hh"
index eab57f709b5db36cef7a129f8c98def145d00eeb..38c8bbbd0d5ebaee248d133d3c1df6ec5c9aef96 100644 (file)
@@ -23,6 +23,8 @@
  * or send an email to <lpadovan@cs.unibo.it>
  */
 
+#include <cassert>
+
 #include "dom.hh"
 #include "TPushParser.hh"
 
index 473576fde7c2cc2f0a479a54acd509de57917767..9da0f0993e52479e09b54cf226d0b6efb853b346 100644 (file)
@@ -24,8 +24,8 @@
  */
 
 #include <getopt.h>
-
 #include <fstream>
+#include <cassert>
 
 #include "dom.hh"
 #include "TPushParser.hh"