diff options
Diffstat (limited to 'src')
| -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; | 
