From 02e39ee78aebfc7b0b6c073ca78c06293414005c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 2 Nov 2011 21:21:28 +0900
Subject: [PATCH] beautify code.

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

diff --git a/C/adtdefs.c b/C/adtdefs.c
index 95adc53ca..9d90b7351 100644
--- a/C/adtdefs.c
+++ b/C/adtdefs.c
@@ -115,7 +115,7 @@ SearchInInvisible(char *atom)
 
   READ_LOCK(INVISIBLECHAIN.AERWLock);
   chain = RepAtom(INVISIBLECHAIN.Entry);
-  while (!EndOfPAEntr(chain) && strcmp(chain->StrOfAE, atom) != 0) {
+  while (!EndOfPAEntr(chain) && strcmp(chain->StrOfAE, atom)) {
     chain = RepAtom(chain->NextOfAE);
   }
   READ_UNLOCK(INVISIBLECHAIN.AERWLock);