diff options
Diffstat (limited to 'Build/source/texk/dvisvgm/dvisvgm-1.0.2-PATCHES/patch-02-namespace')
| -rw-r--r-- | Build/source/texk/dvisvgm/dvisvgm-1.0.2-PATCHES/patch-02-namespace | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/Build/source/texk/dvisvgm/dvisvgm-1.0.2-PATCHES/patch-02-namespace b/Build/source/texk/dvisvgm/dvisvgm-1.0.2-PATCHES/patch-02-namespace new file mode 100644 index 00000000000..ed4a24d2bb7 --- /dev/null +++ b/Build/source/texk/dvisvgm/dvisvgm-1.0.2-PATCHES/patch-02-namespace @@ -0,0 +1,30 @@ +diff -ur dvisvgm-1.0.2.orig/src/InputBuffer.h dvisvgm-1.0.2/src/InputBuffer.h +--- dvisvgm-1.0.2.orig/src/InputBuffer.h 2010-06-16 19:08:12.000000000 +0200 ++++ dvisvgm-1.0.2/src/InputBuffer.h 2010-07-05 10:39:29.396407278 +0200 +@@ -4,7 +4,7 @@ + ** This file is part of dvisvgm -- the DVI to SVG converter ** + ** Copyright (C) 2005-2010 Martin Gieseking <martin.gieseking@uos.de> ** + ** ** +-** This program is free software; you can redistribute it and/or ** ++** This program is free software; you can redistribute it and/or ** + ** modify it under the terms of the GNU General Public License as ** + ** published by the Free Software Foundation; either version 3 of ** + ** the License, or (at your option) any later version. ** +@@ -15,7 +15,7 @@ + ** GNU General Public License for more details. ** + ** ** + ** You should have received a copy of the GNU General Public License ** +-** along with this program; if not, see <http://www.gnu.org/licenses/>. ** ++** along with this program; if not, see <http://www.gnu.org/licenses/>. ** + *************************************************************************/ + + #ifndef INPUTBUFFER_H +@@ -101,7 +101,7 @@ + _size = size; + } + +- void assign (const char *buf) {assign(buf, strlen(buf));} ++ void assign (const char *buf) {assign(buf, std::strlen(buf));} + int peek () const {return _size > 0 ? *_pos : -1;} + int peek (unsigned n) const {return _size >= n ? _pos[n] : -1;} + bool eof () const {return _size <= 0;} |