Merge pull request #19 from sillydan1/dev

release v3.0.4
sillydan1 · Jun 10, 2024 · 07be55c · 07be55c
2 parents 64e4e37 + 555682a
commit 07be55c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -45,4 +45,4 @@ Testing/
 .DS_Store
 compile_commands.json
 .cache/
-
+out/
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -33,7 +33,7 @@ option(ENABLE_Z3 "Enables the download and compilation of the expr::z3_driver dr
 # library dependencies
 CPMAddPackage("gh:yalibs/[email protected]")
 CPMAddPackage("gh:yalibs/[email protected]")
-CPMAddPackage("gh:yalibs/[email protected].1")
+CPMAddPackage("gh:yalibs/[email protected].2")
 CPMAddPackage("gh:yalibs/[email protected]")
 # demo dependencies
 CPMAddPackage("gh:yalibs/[email protected]")

diff --git a/src/symbol/symbol_table.cpp b/src/symbol/symbol_table.cpp
@@ -24,6 +24,7 @@
 #include "extensions.h"
 #include <overload>
 #include <stdexcept>
+#include <algorithm>
 
 namespace expr {
     auto symbol_table_t::operator+=(const symbol_table_t &other) -> symbol_table_t& {