From 9993ca2f3a8d17cdbe109a38aac788eb67dcf611 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 31 Aug 2011 13:54:19 -0700
Subject: [PATCH] syntax change

---
 C/exec.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/exec.c b/C/exec.c
index 0a6c60726..b1072cd39 100644
--- a/C/exec.c
+++ b/C/exec.c
@@ -984,7 +984,7 @@ exec_absmi(int top USES_REGS)
       break;
     case 3:
       { /* saved state */
-	return(FALSE);
+	return FALSE;
       }
     default:
       /* do nothing */