diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index e2d8b7c45..4a414c551 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -15725,7 +15725,7 @@ int Abc_CommandDsdMerge( Abc_Frame_t * pAbc, int argc, char ** argv )
     pDsdMan = If_DsdManLoad(FileName);
     if ( pDsdMan == NULL )
         return 1;
-    If_DsdManMerge( Abc_FrameReadManDsd(), pDsdMan );
+    If_DsdManMerge( (If_DsdMan_t *)Abc_FrameReadManDsd(), pDsdMan );
     If_DsdManFree( pDsdMan, 0 );
     return 0;