More work towards freeing old ModelActions

[c11tester.git] / execution.h

diff --git a/execution.h b/execution.h
index abec71269bb79a8448393be9691b1ac0c0526a36..1aaa9db3b79d7a280f689f935de3c27dcf334548 100644 (file)
--- a/execution.h
+++ b/execution.h
@@ -118,7 +118,7 @@ private:
        ModelAction * get_last_unlock(ModelAction *curr) const;
        SnapVector<ModelAction *> * build_may_read_from(ModelAction *curr);
        ModelAction * process_rmw(ModelAction *curr);
-       bool r_modification_order(ModelAction *curr, const ModelAction *rf, SnapVector<const ModelAction *> *priorset, bool *canprune, bool check_only = false);
+       bool r_modification_order(ModelAction *curr, const ModelAction *rf, SnapVector<ModelAction *> *priorset, bool *canprune, bool check_only = false);
        void w_modification_order(ModelAction *curr);
        ClockVector * get_hb_from_write(ModelAction *rf) const;
        ModelAction * convertNonAtomicStore(void*);