Include cassert

YosysHQ · May 24, 2024 · b018502 · b018502
1 parent df69954
commit b018502
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/backends/functional/smtlib.cc b/backends/functional/smtlib.cc
@@ -17,6 +17,7 @@
  *
  */
 
+#include <cassert>
 #include "kernel/yosys.h"
 #include "kernel/drivertools.h"
 #include "kernel/topo_scc.h"