diff options
Diffstat (limited to 'src/aig/cnf/cnfData.c')
| -rw-r--r-- | src/aig/cnf/cnfData.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/aig/cnf/cnfData.c b/src/aig/cnf/cnfData.c index 8df93fdb..e4798688 100644 --- a/src/aig/cnf/cnfData.c +++ b/src/aig/cnf/cnfData.c @@ -20,13 +20,16 @@ #include "cnf.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -static char s_Data3[81] = "!#&()*+,-.0123456789:;<=>?ABCDEFGHIJKLMNOPQRSTUVWXYZ[]abcdefghijklmnopqrstuvwxyz|"; +static const char s_Data3[82] = "!#&()*+,-.0123456789:;<=>?ABCDEFGHIJKLMNOPQRSTUVWXYZ[]abcdefghijklmnopqrstuvwxyz|"; -static char * s_Data4[] = { +static const char * s_Data4[] = { "! B a . 8 .B 8a K !K T Ta j 8j Tj s ( + (B +a (. +8 .B( +8a (K +K T( +T j( ", "+j Tj( s+ E !E H Ha E. 8E H. H8 EK EK! HT HTa jE 8jE Hj sH d +d Hd g d. 8d ", "Hd. g8 dK +dK Td gT dj +jd Hjd gs 2 !2 2B a2 5 58 5B 5a 2K 2K! T2 Ta2 5j 58", @@ -4782,3 +4785,5 @@ int Aig_ManDeriveCnfTest2() //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |