Update src/examples/petri/petri.cpp

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
victimsnino · Sep 18, 2022 · cd15de4 · cd15de4
1 parent 32904d4
commit cd15de4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/examples/petri/petri.cpp b/src/examples/petri/petri.cpp
@@ -77,7 +77,7 @@ int main()
               [&transitions_subject](auto&& marking, const auto& places)
               {
                   Transitions transitions;
-                  std::tie(marking, transitions) = mutate_marking(std::move(marking), places);
+                  std::tie(marking, transitions) = mutate_marking(std::forward<decltype(marking)>(marking), places);
                   for_each(transitions,
                            [dispatcher = transitions_subject.get_subscriber()](const auto& t)
                            { dispatcher.on_next(t); });