nodestack: don't use C++ references

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index b2ef73cac30108fab56745f89b0542a186fc6410..59e9b5dcad8f9630b2e9dd7ad25a97728ea25458 100644 (file)
--- 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
  */
  * @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;
 {
        uint64_t value = fv.value;
        modelclock_t expiration = fv.expiration;