clean out includes, etc.

[model-checker.git] / execution.h

diff --git a/execution.h b/execution.h
index 9ae0b4f3e6b3f67d578562f07522742493894ef2..0f1e8aed1e243dc3a05d4b7fa666e33fca400c71 100644 (file)
--- a/execution.h
+++ b/execution.h
@@ -14,7 +14,6 @@
 #include "config.h"
 #include "modeltypes.h"
 #include "stl-model.h"
-#include "context.h"
 #include "params.h"
 
 /* Forward declaration */
@@ -88,7 +87,7 @@ public:
        void check_promises_thread_disabled();
        bool isfeasibleprefix() const;
 
-       action_list_t * get_actions_on_obj(void * obj, thread_id_t tid);
+       action_list_t * get_actions_on_obj(void * obj, thread_id_t tid) const;
        ModelAction * get_last_action(thread_id_t tid) const;
 
        bool check_action_enabled(ModelAction *curr);