1 files changed, 13 insertions, 13 deletions
diff --git a/src/util/gmp_util.h b/src/util/gmp_util.h
index a425690a5..87102e644 100644
--- a/src/util/gmp_util.h
+++ b/src/util/gmp_util.h
@@ -17,24 +17,24 @@
  ** \todo document this file
  **/
 
-#ifndef __CVC4__GMP_H_
-#define __CVC4__GMP_H_
+#ifndef __CVC4__GMP_UTIL_H
+#define __CVC4__GMP_UTIL_H
 
 #include <gmpxx.h>
 
 namespace CVC4 {
 
-  /** Hashes the gmp integer primitive in a word by word fashion. */
-  inline size_t gmpz_hash(const mpz_t toHash) {
-    size_t hash = 0;
-    for (int i=0, n=mpz_size(toHash); i<n; ++i){
-      mp_limb_t limb = mpz_getlimbn(toHash, i);
-      hash = hash * 2;
-      hash = hash xor limb;
-    }
-    return hash;
+/** Hashes the gmp integer primitive in a word by word fashion. */
+inline size_t gmpz_hash(const mpz_t toHash) {
+  size_t hash = 0;
+  for (int i = 0, n = mpz_size(toHash); i < n; ++i){
+    mp_limb_t limb = mpz_getlimbn(toHash, i);
+    hash = hash * 2;
+    hash = hash xor limb;
   }
+  return hash;
+}/* gmpz_hash() */
 
-}
+}/* CVC4 namespace */
 
-#endif /* __CVC4__GMP_H_ */
+#endif /* __CVC4__GMP_UTIL_H */