Various usability changes (second round).

src/base/main/mainReal.c

@@ -131,7 +131,7 @@ int Abc_RealMain( int argc, char * argv[] )
                 enable_dbg_outs ^= 1;                            
                 break;                                          
 
-            case 'm':
+            case 'm': {
 #ifndef WIN32                
                 int maxMb = atoi(globalUtilOptarg);             
                 printf("Limiting memory use to %d MB\n", maxMb);
@@ -142,8 +142,8 @@ int Abc_RealMain( int argc, char * argv[] )
                 setrlimit(RLIMIT_AS, &limit);                   
 #endif
                 break; 
-
-            case 'l':
+            }                                         
+            case 'l': {
 #ifndef WIN32
                 int maxTime = atoi(globalUtilOptarg);           
                 printf("Limiting time to %d seconds\n", maxTime);
@@ -154,7 +154,7 @@ int Abc_RealMain( int argc, char * argv[] )
                 setrlimit(RLIMIT_CPU, &limit);                  
 #endif
                 break; 
-
+            }                                         
             case 'c':
                 if( Vec_StrSize(sCommandUsr) > 0 )
                 {