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]
/
nodestack.h
diff --git
a/nodestack.h
b/nodestack.h
index fc566d6dde8fd65561888899c3505babd79804b0..f478db2841917edd170cd7d0649c5acdbd6a23ef 100644
(file)
--- a/
nodestack.h
+++ b/
nodestack.h
@@
-75,7
+75,7
@@
public:
int get_read_from_past_size() const;
void add_read_from_promise(const ModelAction *reader);
int get_read_from_past_size() const;
void add_read_from_promise(const ModelAction *reader);
-
const
Promise * get_read_from_promise() const;
+ Promise * get_read_from_promise() const;
bool add_future_value(struct future_value fv);
struct future_value get_future_value() const;
bool add_future_value(struct future_value fv);
struct future_value get_future_value() const;