From ad74ae6e7e22b649dbae0d1dacfea4d83d6e85b9 Mon Sep 17 00:00:00 2001
From: Henner Zeller <h.zeller@acm.org>
Date: Mon, 8 Jun 2026 07:24:47 -0700
Subject: [PATCH] TritModel.cc uses abc kissat. Include the necessary header.

Signed-off-by: Henner Zeller <h.zeller@acm.org>
---
 src/syn/src/ir/TritModel.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/syn/src/ir/TritModel.cc b/src/syn/src/ir/TritModel.cc
index e7c4c3e5d30..51dbd192b58 100644
--- a/src/syn/src/ir/TritModel.cc
+++ b/src/syn/src/ir/TritModel.cc
@@ -18,6 +18,7 @@
 #include <utility>
 #include <vector>
 
+#include "sat/kissat/kissat.h"
 #include "sta/FuncExpr.hh"
 #include "sta/Liberty.hh"
 #include "sta/PortDirection.hh"