X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=nodestack.cc;h=59e9b5dcad8f9630b2e9dd7ad25a97728ea25458;hp=b2ef73cac30108fab56745f89b0542a186fc6410;hb=ad07f2838b1b4b87c84f04ee67e0a28677a734ba;hpb=ebbaf2d1ff97315fdf97943f122392d1a449e41b

diff --git a/nodestack.cc b/nodestack.cc
index b2ef73c..59e9b5d 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -226,7 +226,7 @@ bool Node::misc_empty() const
  * @param value is the value to backtrack to.
  * @return True if the future value was successully added; false otherwise
  */
-bool Node::add_future_value(struct future_value& fv)
+bool Node::add_future_value(struct future_value fv)
 {
 	uint64_t value = fv.value;
 	modelclock_t expiration = fv.expiration;