From d199195785fb058eb1c92502787e79be3ea56943 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Tue, 3 Feb 2026 18:00:45 +0100
Subject: [PATCH] satgen: cover $input_port

---
 kernel/satgen.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/satgen.cc b/kernel/satgen.cc
index f2c1e00c2..b8b850bb3 100644
--- a/kernel/satgen.cc
+++ b/kernel/satgen.cc
@@ -1378,7 +1378,7 @@ bool SatGen::importCell(RTLIL::Cell *cell, int timestep)
 		return true;
 	}
 
-	if (cell->type == ID($scopeinfo))
+	if (cell->type == ID($scopeinfo) || cell->type == ID($input_port))
 	{
 		return true;
 	}