From da4d6b1ba9237f4beec2ee96cf6ee7a8ab4113ae Mon Sep 17 00:00:00 2001
From: Thomas Horstink <thomas@mainblades.com>
Date: Mon, 14 Aug 2023 11:54:28 +0200
Subject: [PATCH] expose direct transition so it is really direct

---
 CMakeLists.txt                             | 2 +-
 symmetri/include/symmetri/polytransition.h | 3 +++
 symmetri/model.h                           | 3 ---
 symmetri/tests/test_priorities.cc          | 2 +-
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index fad84c56..be65f409 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -22,7 +22,7 @@ if(BUILD_TESTING)
   elseif(TSAN_BUILD AND NOT ASAN_BUILD)
     set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -g -fsanitize=thread -fno-omit-frame-pointer -O0")
   else()
-    set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -flto -O3")
+    set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -flto=auto -O3")
   endif()
 endif()
 
diff --git a/symmetri/include/symmetri/polytransition.h b/symmetri/include/symmetri/polytransition.h
index 0b566b23..6db32103 100644
--- a/symmetri/include/symmetri/polytransition.h
+++ b/symmetri/include/symmetri/polytransition.h
@@ -6,6 +6,9 @@
 
 struct DirectMutation {};
 
+bool isDirect(const DirectMutation &);
+symmetri::Result fire(const DirectMutation &);
+
 /**
  * @brief Checks if the transition-function can be invoked.
  *
diff --git a/symmetri/model.h b/symmetri/model.h
index 1ccd3e9d..2ef7ca32 100644
--- a/symmetri/model.h
+++ b/symmetri/model.h
@@ -10,9 +10,6 @@
 #include "symmetri/tasks.h"
 #include "symmetri/types.h"
 
-bool isDirect(const DirectMutation &);
-symmetri::Result fire(const DirectMutation &);
-
 namespace symmetri {
 
 using SmallVector = gch::small_vector<size_t, 4>;
diff --git a/symmetri/tests/test_priorities.cc b/symmetri/tests/test_priorities.cc
index 5b9709bd..3445cecf 100644
--- a/symmetri/tests/test_priorities.cc
+++ b/symmetri/tests/test_priorities.cc
@@ -8,7 +8,7 @@
 using namespace symmetri;
 using namespace moodycamel;
 
-void t(){};
+void t(){}
 
 TEST_CASE(
     "Run a transition with a higher priority over one with a lower priority") {