From 73695c79619fae580fa0f465ba28e1ea51f0b5e1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 20 Nov 2018 19:17:37 -0800
Subject: Various usability changes (second round).

---
 src/base/main/mainReal.c | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/base/main/mainReal.c b/src/base/main/mainReal.c
index f33c0125..353f7015 100644
--- a/src/base/main/mainReal.c
+++ b/src/base/main/mainReal.c
@@ -131,8 +131,8 @@ int Abc_RealMain( int argc, char * argv[] )
                 enable_dbg_outs ^= 1;                            
                 break;                                          
 
-            case 'm':
-#ifndef WIN32
+            case 'm': {
+#ifndef WIN32                
                 int maxMb = atoi(globalUtilOptarg);             
                 printf("Limiting memory use to %d MB\n", maxMb);
                 struct rlimit limit = {                         
@@ -141,9 +141,9 @@ int Abc_RealMain( int argc, char * argv[] )
                 };                                              
                 setrlimit(RLIMIT_AS, &limit);                   
 #endif
-                break;                                          
-
-            case 'l':
+                break; 
+            }                                         
+            case 'l': {
 #ifndef WIN32
                 int maxTime = atoi(globalUtilOptarg);           
                 printf("Limiting time to %d seconds\n", maxTime);
@@ -153,8 +153,8 @@ int Abc_RealMain( int argc, char * argv[] )
                 };                                              
                 setrlimit(RLIMIT_CPU, &limit);                  
 #endif
-                break;                                          
-
+                break; 
+            }                                         
             case 'c':
                 if( Vec_StrSize(sCommandUsr) > 0 )
                 {
-- 
cgit v1.2.3