From a34d8cbb364857fb6b5fad6ddfbcdaa6b275c512 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 23 Mar 2017 19:19:29 -0700
Subject: Experiments with don't-cares.

---
 src/sat/bmc/bmcFault.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/bmc/bmcFault.c')

diff --git a/src/sat/bmc/bmcFault.c b/src/sat/bmc/bmcFault.c
index 71eef2c4..0f63fa64 100644
--- a/src/sat/bmc/bmcFault.c
+++ b/src/sat/bmc/bmcFault.c
@@ -1069,7 +1069,7 @@ Vec_Int_t * Gia_ManGetTestPatterns( char * pFileName )
             continue;
         if ( c != '0' && c != '1' )
         {
-            printf( "Wring symbol (%c) in the input file.\n", c );
+            printf( "Wrong symbol (%c) in the input file.\n", c );
             Vec_IntFreeP( &vTests );
             break;
         }
-- 
cgit v1.2.3