Merge pull request #42 from Johnnynator/algorithm

zug/transducer/eager.hpp: include algorithm
arximboldi · Mar 26, 2024 · 7c22cc1 · 7c22cc1
2 parents c437e7b + c8c74ad
commit 7c22cc1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/zug/transducer/eager.hpp b/zug/transducer/eager.hpp
@@ -15,6 +15,7 @@
 #include <zug/state_wrapper.hpp>
 #include <zug/util.hpp>
 
+#include <algorithm>
 #include <vector>
 
 namespace zug {