blob: 666c01ecd9a8b02f01dd95980b4bf2972554bb95 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
diff -ur dvisvgm-1.0.1.orig/src/GFGlyphTracer.h dvisvgm-1.0.1/src/GFGlyphTracer.h
--- dvisvgm-1.0.1.orig/src/GFGlyphTracer.h 2010-03-18 20:20:04.000000000 +0100
+++ dvisvgm-1.0.1/src/GFGlyphTracer.h 2010-06-12 15:56:17.189565656 +0200
@@ -50,7 +50,6 @@
void endChar (UInt32 c);
void setGlyph (Glyph &glyph) {_glyph = &glyph;}
const Glyph& getGlyph () const {return *_glyph;}
- bool opened () const {return _ifs.is_open();}
private:
std::ifstream _ifs;
|