Finshed basic merge. Still trying to get it through the test suit.

[splint.git] / src / nameChecks.c

diff --git a/src/nameChecks.c b/src/nameChecks.c
index df19ab01a450ad8ffcf3cb8a1a248ce4426a9f90..0d1318ea5b90e909b1d386913ca46c2ada68e301 100644 (file)
--- a/src/nameChecks.c
+++ b/src/nameChecks.c
@@ -747,7 +747,7 @@ static bool checkCzechName (uentry ue, flagcode czechflag, bool report)
                        }
                    }
                }
-             else if (ctype_isBool (ct))
+             else if (ctype_isManifestBool (ct))
                {
                  if (context_canAccessBool ())
                    {
@@ -995,7 +995,7 @@ static bool checkSlovakName (uentry ue, flagcode slovakflag, bool report)
                        }
                    }
                }
-             else if (ctype_isBool (ct))
+             else if (ctype_isManifestBool (ct))
                {
                  if (context_canAccessBool ())
                    {