From 5e7e9bfeb78ec72cb22a472aa3c3cb78981e86e4 Mon Sep 17 00:00:00 2001
From: Christophe Alexandre <alliance-cvs@asim.lip6.fr>
Date: Mon, 20 Oct 2003 10:04:39 +0000
Subject: [PATCH] very interesting bug: ... all nets are clock ... except ck .

---
 alliance/src/mbk/src/mbk_util.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/alliance/src/mbk/src/mbk_util.c b/alliance/src/mbk/src/mbk_util.c
index c24a8943..7c1319fa 100644
--- a/alliance/src/mbk/src/mbk_util.c
+++ b/alliance/src/mbk/src/mbk_util.c
@@ -28,7 +28,7 @@
  * Modified by Czo <Olivier.Sirol@lip6.fr> 1997,98
  */
 
-#ident "$Id: mbk_util.c,v 1.4 2003/10/20 08:55:22 xtof Exp $"
+#ident "$Id: mbk_util.c,v 1.5 2003/10/20 10:04:39 xtof Exp $"
 
 #include <stdio.h>
 #include <stdlib.h>
@@ -748,7 +748,7 @@ int  isck(char *name)
     if (!name || !CK)
         return 0;
     else
-        if (strcmp(name, CK))
+        if (!strcmp(name, CK))
             return 1;
         else
             return 0;