1 files changed, 8 insertions, 1 deletions
diff --git a/src/map/mpm/mpmCore.c b/src/map/mpm/mpmCore.c
index af51ce1b..a6edba8f 100644
--- a/src/map/mpm/mpmCore.c
+++ b/src/map/mpm/mpmCore.c
@@ -84,7 +84,14 @@ Gia_Man_t * Mpm_ManMappingTest( Gia_Man_t * pGia, Mpm_Par_t * pPars )
 {
     Mig_Man_t * p;
     Gia_Man_t * pNew;
-    p = Mig_ManCreate( pGia );
+    if ( pPars->fUseGates )
+    {
+        pGia = Gia_ManDupMuxes( pGia );
+        p = Mig_ManCreate( pGia );
+        Gia_ManStop( pGia );
+    }
+    else
+        p = Mig_ManCreate( pGia );
     pNew = Mpm_ManPerformTest( p, pPars );
     Mig_ManStop( p );
     return pNew;