From 319b0b7c2fdcbff895fe796955805db0211e491d Mon Sep 17 00:00:00 2001
From: Ludovic Jacomme <alliance-cvs@asim.lip6.fr>
Date: Thu, 18 Apr 2002 10:31:32 +0000
Subject: [PATCH] hi

---
 alliance/src/k2f/src/k2f_main.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/alliance/src/k2f/src/k2f_main.c b/alliance/src/k2f/src/k2f_main.c
index 67b2a1e6..88f208d6 100644
--- a/alliance/src/k2f/src/k2f_main.c
+++ b/alliance/src/k2f/src/k2f_main.c
@@ -152,6 +152,13 @@ int main( argc, argv )
 
   K2fFsmFigure = getfsmfig( InputFileName );
 
+  if ( ( IsFsmFigMulti( K2fFsmFigure    ) ) ||
+       ( IsFsmFigMixedRtl( K2fFsmFigure ) ) )
+  {
+    fprintf( stderr, "\tMulti FSM or Mixed RTL FSM not supported !\n" );
+    autexit( 1 );
+  }
+
   K2fFsmFigure->NAME = namealloc( OutputFileName );
   savefsmfig( K2fFsmFigure );