projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
un-'const' some Promises
[model-checker.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: {
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();
value = promise->get_value();
curr->set_read_from_promise(promise);
mo_graph->startChanges();