attempt to make gcc happy

thorstink · Jan 10, 2025 · 00b81ac · 00b81ac
1 parent 5bddcb3
commit 00b81ac
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/symmetri/gui/load_file.cpp b/symmetri/gui/load_file.cpp
@@ -76,7 +76,14 @@ void loadPetriNet(const std::filesystem::path& file) {
 
     m.colors = symmetri::Token::getColors();
 
+// For GCC, we copy the priority table because of some weird GCC13/14 bug...
+#ifdef __GNUC__
+    m.net.priority.insert(m.net.priority.end(), new_net.priority.begin(),
+                          new_net.priority.end());
+#else
     append(std::move(new_net.priority), m.net.priority);
+#endif
+
     append(std::move(new_net.transition), m.net.transition);
     append(std::move(new_net.place), m.net.place);
     append(std::move(new_net.output_n), m.net.output_n);