From b018502f1b4fb7b9bf794bda4fb3f26c1f2cd11f Mon Sep 17 00:00:00 2001
From: Roland Coeurjoly <rolandcoeurjoly@gmail.com>
Date: Fri, 24 May 2024 13:49:39 +0200
Subject: [PATCH] Include cassert

---
 backends/functional/smtlib.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/backends/functional/smtlib.cc b/backends/functional/smtlib.cc
index f6af797919b..cd11111b9d8 100644
--- 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"