X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.h;h=7b3d1ecf363baf36e7cda4b2ae3d034a80ad61cf;hb=bbf356ecc0554af1ecff878e305055ac1673d75e;hp=0bf62d6b6a6bb1358383cd772ac0c5c9cd6d04a0;hpb=6ec6d90066682d8849af174e531e4e0d547ebab3;p=model-checker.git

diff --git a/promise.h b/promise.h
index 0bf62d6..7b3d1ec 100644
--- a/promise.h
+++ b/promise.h
@@ -14,7 +14,7 @@ class ModelAction;
 class Promise {
  public:
 	Promise(ModelAction * act, uint64_t value);
-	const ModelAction * get_action() { return read; }
+	ModelAction * get_action() { return read; }
 	int increment_threads() { return ++numthreads; }
 	uint64_t get_value() { return value; }