From db8e5d9988cf4a55ada9003d1af020b76f22eb2f Mon Sep 17 00:00:00 2001
From: Fred Tombs <fredtombs@gmail.com>
Date: Sat, 2 May 2026 16:15:00 -0400
Subject: [PATCH] Apply same assert fix to l144

---
 src/opt/lpk/lpkCut.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/opt/lpk/lpkCut.c b/src/opt/lpk/lpkCut.c
index 12dfc4ae8..f19decff0 100644
--- a/src/opt/lpk/lpkCut.c
+++ b/src/opt/lpk/lpkCut.c
@@ -141,7 +141,7 @@ unsigned * Lpk_CutTruth_rec( Hop_Man_t * pMan, Hop_Obj_t * pObj, int nVars, Vec_
     assert( !Hop_IsComplement(pObj) );
     if ( pObj->pData )
     {
-        assert( ((unsigned)(ABC_PTRUINT_T)pObj->pData) & 0xffff0000 );
+        assert( ((ABC_PTRUINT_T)pObj->pData) > 0xffff ); // catch small int values
         return (unsigned *)pObj->pData;
     }
     // get the plan for a new truth table