Added the special deletion. Pressing backspace, the user has a normal deletion

[helm.git] / helm / DEVEL / mathml_editor / src / TTokenizer.cc

diff --git a/helm/DEVEL/mathml_editor/src/TTokenizer.cc b/helm/DEVEL/mathml_editor/src/TTokenizer.cc
index a78b7cc5d6c129d25543ef6c6e993c3235fd9a40..7a8736cee0080d6b50805604f81cd595a89aec71 100644 (file)
--- a/helm/DEVEL/mathml_editor/src/TTokenizer.cc
+++ b/helm/DEVEL/mathml_editor/src/TTokenizer.cc
@@ -37,7 +37,7 @@ TTokenizer::push(const TToken& token)
 }
 
 std::string
-TTokenizer::drop()
+TTokenizer::drop(bool alt)
 {
   assert(0);
   return "";