diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-01-30 14:12:08 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-01-30 14:12:08 (GMT) |
| commit | 275bf3fd017ca27c021d4c10cc9d3d82fff13922 (patch) | |
| tree | d370b9f475c4ccd7d7f5487364cbb4c4607e63fd /src/uscxml/Interpreter.h | |
| parent | 81d78952f77e0d2a900f347264710563ba52d234 (diff) | |
| download | uscxml-275bf3fd017ca27c021d4c10cc9d3d82fff13922.zip uscxml-275bf3fd017ca27c021d4c10cc9d3d82fff13922.tar.gz uscxml-275bf3fd017ca27c021d4c10cc9d3d82fff13922.tar.bz2 | |
Builds on linux again
Diffstat (limited to 'src/uscxml/Interpreter.h')
| -rw-r--r-- | src/uscxml/Interpreter.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/uscxml/Interpreter.h b/src/uscxml/Interpreter.h index 54c7a78..334b2ad 100644 --- a/src/uscxml/Interpreter.h +++ b/src/uscxml/Interpreter.h @@ -28,6 +28,7 @@ namespace uscxml { class InterpreterMonitor { public: + virtual ~InterpreterMonitor() {} virtual void onStableConfiguration(Interpreter* interpreter) {} virtual void beforeCompletion(Interpreter* interpreter) {} virtual void afterCompletion(Interpreter* interpreter) {} |