X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FDiff.cc;h=d8df81201aec2a034725fe13c9477b2c53e4f3c5;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=948baa6b6e10e6b4b7607260076dc4394d2bbbc6;hpb=387aeebf96181c051b7f527a0901b173cfcdf194;p=helm.git diff --git a/helm/DEVEL/mathml_editor/src/Diff.cc b/helm/DEVEL/mathml_editor/src/Diff.cc index 948baa6b6..d8df81201 100644 --- a/helm/DEVEL/mathml_editor/src/Diff.cc +++ b/helm/DEVEL/mathml_editor/src/Diff.cc @@ -1,8 +1,33 @@ +/* This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax. + * + * Copyright (C) 2002-2003 Luca Padovani , + * 2003 Paolo Marinelli . + * + * This library is free software; you can redistribute it and/or + * modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation; either + * version 2.1 of the License, or (at your option) any later version. + * + * This library is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public + * License along with this library; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * + * For more information, please visit the project's home page + * http://helm.cs.unibo.it/editex/ + * or send an email to + */ #include #include #include #include +#include #include "Diff.hh" @@ -267,7 +292,7 @@ namespace GdomeSmartDOMExt if (elem.hasAttribute("count")) { unsigned count; - istringstream is(elem.getAttribute("count")); + std::istringstream is(elem.getAttribute("count")); is >> count; assert(count == 1); } @@ -307,7 +332,7 @@ namespace GdomeSmartDOMExt unsigned count = 1; if (p2.hasAttribute("count")) { - istringstream is(p2.getAttribute("count")); + std::istringstream is(p2.getAttribute("count")); is >> count; } while (count-- > 0) @@ -341,7 +366,7 @@ namespace GdomeSmartDOMExt unsigned count = 1; if (p2.hasAttribute("count")) { - istringstream is(p2.getAttribute("count")); + std::istringstream is(p2.getAttribute("count")); is >> count; } while (count-- > 0)