From 0398ced8243806439b814f21ca7d6e584cea13a1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 22 Jun 2015 23:04:53 -0700
Subject: Version abc90714

committer: Baruch Sterin <baruchs@gmail.com>
---
 src/opt/mfs/mfsResub.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/opt/mfs/mfsResub.c')

diff --git a/src/opt/mfs/mfsResub.c b/src/opt/mfs/mfsResub.c
index e49fd61d..008b6863 100644
--- a/src/opt/mfs/mfsResub.c
+++ b/src/opt/mfs/mfsResub.c
@@ -207,7 +207,7 @@ p->timeInt += clock() - clk;
         printf( "\n" );
     }
     iVar = -1;
-    while ( 1 )
+    while ( 1 ) 
     {
         if ( fVeryVerbose )
         {
-- 
cgit v1.2.3