diff options
| author | Roberto Raggi <[email protected]> | 2009-11-18 15:27:17 +0100 |
|---|---|---|
| committer | Roberto Raggi <[email protected]> | 2009-11-18 15:27:17 +0100 |
| commit | d8ada46fc4aecb5beca66745f25d02001cee405a (patch) | |
| tree | 472cbd78575f9ae49866a5477e7a469a61fd7b23 /src/shared/cplusplus/ASTPatternBuilder.h | |
| parent | 8fd0777ab05537c37679d9a7f3b399cc8c1ae0ea (diff) | |
Compile.
Diffstat (limited to 'src/shared/cplusplus/ASTPatternBuilder.h')
| -rw-r--r-- | src/shared/cplusplus/ASTPatternBuilder.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/shared/cplusplus/ASTPatternBuilder.h b/src/shared/cplusplus/ASTPatternBuilder.h index 8a85b72b1c6..97172b327c7 100644 --- a/src/shared/cplusplus/ASTPatternBuilder.h +++ b/src/shared/cplusplus/ASTPatternBuilder.h @@ -42,6 +42,7 @@ class CPLUSPLUS_EXPORT ASTPatternBuilder public: ASTPatternBuilder(): state(pool.state()) {} + ~ASTPatternBuilder() {} void reset() { pool.rewind(state); }; |