diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 37d0a0146..05a03acaf 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -35351,5 +35351,5 @@ usage:
 ///                       END OF FILE                                ///
 ////////////////////////////////////////////////////////////////////////
 
-
+#include "abciUnfold2.c"
 ABC_NAMESPACE_IMPL_END