X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6252ab26bcefaa493fee28775bc03613cd46b0f2..51bc6ecce8b6e9877dccd8bda2cf220b47e6929c:/src/uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index d951a30..711b32b 100644
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -5772,6 +5772,11 @@ uentry_getGlobs (uentry l)
     }
 }
 
+# ifdef WIN32
+/* Make Microsoft VC++ happy */
+# pragma warning (disable : 4715) 
+# endif
+
 /*@observer@*/ sRefSet
 uentry_getMods (uentry l)
 {
@@ -5799,10 +5804,6 @@ uentry_getMods (uentry l)
     {
       BADBRANCH;
     }
-# ifdef WIN32
-/* Make Microsoft VC++ happy */
-# pragma warning (disable : 4715) 
-# endif
 }
 
 ekind