*** empty log message ***

[splint.git] / src / uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index 1cf43fb17488e4a401fb97939d7ce2e6fc7d9a94..06be66a73ca4641f1d7328417c8d42798cc4c39e 100644 (file)
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -9116,7 +9116,7 @@ uentry_clearDecl (void)
 void
 uentry_checkDecl (void)
 {
-  if (uentry_isValid (posRedeclared))
+  if (uentry_isValid (posRedeclared) && !fileloc_isXHFile (posLoc))
     {
       llassert (fileloc_isDefined (posLoc));