X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/da4500ed12e4d54281bf2ae98af0bf598b236657..f0171cff609dadc8363308bb1ac7ae9102f56cae:/src/uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index 1cf43fb..06be66a 100644
--- 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));