Remove Value::consume()

XMLWordPrintableJSON

    • Fully Compatible
    • Quint Iteration 3
    • None
    • 3
    • None
    • None
    • None
    • None
    • None
    • None

      It was a temporary stopgap until we were on C++11 and could std::move vectors. We now live in that world.

            Assignee:
            Mathias Stearn
            Reporter:
            Mathias Stearn
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved: