  {
    h ^= h >> 16;
    h *= 0x85ebca6b;
-@@ -55,7 +55,7 @@ FORCE_INLINE uint32_t fmix32 ( uint32_t 
+@@ -55,7 +55,7 @@
  
  /*---------- */
  

 #else
     gethostname(hostname, sizeof(hostname));
     int pid = getpid();
@@ -3523,8 +3530,10 @@ void ML_BreakForDebugger(const Epetra_Co
 #endif
     printf("%s\n",buf);
     fflush(stdout);

         Sleep(1);
 #else
         sleep(1);
diff -ruN trilinos-10.12.2/packages/ml/src/Utils/ml_utils.h trilinos-10.12.2-new/packages/ml/src/Utils/ml_utils.h
--- trilinos-10.12.2/packages/ml/src/Utils/ml_utils.h	2012-08-02 11:44:05.000000000 -0600
+++ trilinos-10.12.2-new/packages/ml/src/Utils/ml_utils.h	2013-10-09 10:38:00.000000000 -0600
@@ -21,7 +21,8 @@
 #endif
 #endif
