From bc288a76332b1684b0183084aee0a4f46c617b62 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 4 Mar 2019 14:29:57 -0800
Subject: Suggested white-space changes for fewer gcc warnings.

---
 src/opt/ret/retDelay.c | 10 +++++-----
 src/opt/sfm/sfmSat.c   |  2 +-
 src/opt/sim/simSupp.c  | 10 +++++-----
 3 files changed, 11 insertions(+), 11 deletions(-)

(limited to 'src/opt')

diff --git a/src/opt/ret/retDelay.c b/src/opt/ret/retDelay.c
index 0263c92f..92680cd0 100644
--- a/src/opt/ret/retDelay.c
+++ b/src/opt/ret/retDelay.c
@@ -96,8 +96,8 @@ int Abc_NtkRetimeMinDelayTry( Abc_Ntk_t * pNtk, int nDelayLim, int fForward, int
         }
     }
 
-if ( fVerbose && !fInitial )
-    printf( "Performing analysis:\n" );
+    if ( fVerbose && !fInitial )
+        printf( "Performing analysis:\n" );
     // find the best iteration
     DelayBest = ABC_INFINITY; IterBest = 0; LatchesBest = Abc_NtkLatchNum(pNtk);
     vCritical = Vec_PtrAlloc( 100 );
@@ -150,9 +150,9 @@ if ( fVerbose && !fInitial )
             Vec_IntFree( vValues );
         }
     }
-if ( fVerbose && !fInitial )
-    printf( "%s : Starting delay = %3d.  Final delay = %3d.  IterBest = %2d (out of %2d).\n", 
-        fForward? "Forward " : "Backward", DelayStart, DelayBest, IterBest, nIterLimit );
+    if ( fVerbose && !fInitial )
+        printf( "%s : Starting delay = %3d.  Final delay = %3d.  IterBest = %2d (out of %2d).\n",
+            fForward? "Forward " : "Backward", DelayStart, DelayBest, IterBest, nIterLimit );
     *pIterBest = (nIterLimit == 1) ? 1 : IterBest;
     return DelayBest;
 }
diff --git a/src/opt/sfm/sfmSat.c b/src/opt/sfm/sfmSat.c
index 0d5bbca2..8bcb7f8a 100644
--- a/src/opt/sfm/sfmSat.c
+++ b/src/opt/sfm/sfmSat.c
@@ -260,7 +260,7 @@ void Sfm_ComputeInterpolantCheck( Sfm_Ntk_t * p )
         else if ( uTruth == SFM_SAT_UNDEC )
             printf( "The problem is UNDEC.\n" );
         else
-            Kit_DsdPrintFromTruth( (unsigned *)&uTruth, 2 ); printf( "\n" );
+            Kit_DsdPrintFromTruth( (unsigned *)&uTruth, 2 ), printf( "\n" );
     }
 }
 
diff --git a/src/opt/sim/simSupp.c b/src/opt/sim/simSupp.c
index 5def7dae..a87ac0f1 100644
--- a/src/opt/sim/simSupp.c
+++ b/src/opt/sim/simSupp.c
@@ -118,8 +118,8 @@ Vec_Ptr_t * Sim_ComputeFunSupp( Abc_Ntk_t * pNtk, int fVerbose )
 
     // set the support targets 
     Sim_ComputeSuppSetTargets( p );
-if ( fVerbose )
-    printf( "Number of support targets after simulation = %5d.\n", Vec_VecSizeSize(p->vSuppTargs) );
+    if ( fVerbose )
+        printf( "Number of support targets after simulation = %5d.\n", Vec_VecSizeSize(p->vSuppTargs) );
     if ( Vec_VecSizeSize(p->vSuppTargs) == 0 )
         goto exit;
 
@@ -131,9 +131,9 @@ if ( fVerbose )
         if ( Vec_VecSizeSize(p->vSuppTargs) == 0 )
             goto exit;
 
-if ( fVerbose )
-    printf( "Targets = %5d.   Solved = %5d.  Fifo = %5d.\n", 
-       Vec_VecSizeSize(p->vSuppTargs), nSolved, Vec_PtrSize(p->vFifo) );
+        if ( fVerbose )
+            printf( "Targets = %5d.   Solved = %5d.  Fifo = %5d.\n",
+                Vec_VecSizeSize(p->vSuppTargs), nSolved, Vec_PtrSize(p->vFifo) );
     }
 
     // try to solve the support targets
-- 
cgit v1.2.3