X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/112c85fd5ba63bbf83526cdadfc7751b2cf74311..4caf866b3d452c738cb276e805e48e4f1ccd2eba:/src/uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index 6d364fb..d951a30 100644
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -5801,19 +5801,14 @@ uentry_getMods (uentry l)
     }
 # ifdef WIN32
 /* Make Microsoft VC++ happy */
-# pragma warning (disable:4715) 
+# pragma warning (disable : 4715) 
 # endif
 }
 
-# ifdef WIN32
-# pragma warning (enable:4715) 
-# endif
-
 ekind
 uentry_getKind (uentry e)
 {
   llassert (uentry_isValid (e));
-
   return (e->ukind);
 }