un-'const' some Promises

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index cb53e118b73231b643964edb2fe0a8782da984b7..44fba7eabc84839bc71bc64e7b69f18bb123b676 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -872,7 +872,7 @@ bool ModelChecker::process_read(ModelAction *curr)
                        break;
                }
                case READ_FROM_PROMISE: {
-                       const Promise *promise = curr->get_node()->get_read_from_promise();
+                       Promise *promise = curr->get_node()->get_read_from_promise();
                        value = promise->get_value();
                        curr->set_read_from_promise(promise);
                        mo_graph->startChanges();