From 80eecea4091cf05e2c5e29e3007f48723166c531 Mon Sep 17 00:00:00 2001
From: Heinz Riener <heinz.riener@gmail.com>
Date: Fri, 14 Feb 2025 15:49:17 +0100
Subject: [PATCH] Increase buffer size to DAU_MAX_STR (=2000).

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

diff --git a/src/opt/dau/dauGia.c b/src/opt/dau/dauGia.c
index eebfa9a8d..a49a253cd 100644
--- a/src/opt/dau/dauGia.c
+++ b/src/opt/dau/dauGia.c
@@ -444,7 +444,7 @@ int Dsm_ManTruthToGia( void * p, word * pTruth, Vec_Int_t * vLeaves, Vec_Int_t *
     int fDelayBalance = 1;
     Gia_Man_t * pGia = (Gia_Man_t *)p;
     int nSizeNonDec;
-    char pDsd[1000];
+    char pDsd[DAU_MAX_STR];
     word pTruthCopy[DAU_MAX_WORD];
     Abc_TtCopy( pTruthCopy, pTruth, Abc_TtWordNum(Vec_IntSize(vLeaves)), 0 );
     m_Calls++;