diff options
| -rw-r--r-- | src/Document.cxx | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Document.cxx b/src/Document.cxx index c28879bea..8e78f5b46 100644 --- a/src/Document.cxx +++ b/src/Document.cxx @@ -966,6 +966,9 @@ public: pdoc(pdoc_), end(end_) { } + virtual ~DocumentIndexer() { + } + virtual char CharAt(int index) { if (index < 0 || index >= end) return 0; |