diff --git a/passes/techmap/booth.cc b/passes/techmap/booth.cc
index be38c8fc3..000dcff14 100644
--- a/passes/techmap/booth.cc
+++ b/passes/techmap/booth.cc
@@ -655,8 +655,7 @@ struct BoothPassWorker {
 		cpa_id++;
 
 		log_assert(c_vec.size() == s_vec.size());
-		// TODO: doesn't pass
-		//log_assert(result.size() == s_vec.size() + 2);
+		log_assert(result.size() == s_vec.size());
 
 		SigBit carry;
 		for (int n = 0; n < s_vec.size(); n++) {