[klee-commits] [1504] Added a virtual destructor to the ExecutionTraceEvent

[cristic at stanford.edu]

Revision: 1504
          http://keeda.stanford.edu/viewvc/viewvc.cgi?view=rev&revision=1504
Author:   cristic
Date:     2009-03-16 22:42:30 -0700 (Mon, 16 Mar 2009)
Log Message:
-----------
Added a virtual destructor to the ExecutionTraceEvent
parent class that Phil recently added.

Modified Paths:
--------------
    lib/ExecutionState.h

Modified: lib/ExecutionState.h
===================================================================
--- lib/ExecutionState.h	2009-03-17 04:35:19 UTC (rev 1503)
+++ lib/ExecutionState.h	2009-03-17 05:42:30 UTC (rev 1504)
@@ -235,6 +235,8 @@
     stackDepth = state.stack.size();
   }
 
+  virtual ~ExecutionTraceEvent() {}
+
   void print(std::ostream &os) const;
 
   // return true if it shouldn't be added to ExecutionTraceManager
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://keeda.Stanford.EDU/pipermail/klee-commits/attachments/20090316/6bf2a575/attachment.html