From 5672ecf584e243b6988993dc80c5ff4ee3d608ef Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Mon, 13 Jul 2026 13:07:37 +0200
Subject: [PATCH] ff: fix src_twine

---
 kernel/ff.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel/ff.cc b/kernel/ff.cc
index 6065194ed..1f809943b 100644
--- a/kernel/ff.cc
+++ b/kernel/ff.cc
@@ -361,6 +361,7 @@ FfData FfData::slice(const std::vector<int> &bits) {
 	res.pol_clr = pol_clr;
 	res.pol_set = pol_set;
 	res.attributes = attributes;
+	res.src_twine = src_twine;
 	std::optional<Const::Builder> arst_bits;
 	if (has_arst)
 		arst_bits.emplace(bits.size());