1 files changed, 2 insertions, 12 deletions
diff --git a/src/util/integer.h b/src/util/integer.h
index c1e5d90ea..2aa8b711a 100644
--- a/src/util/integer.h
+++ b/src/util/integer.h
@@ -18,22 +18,12 @@
 #ifndef __CVC4__INTEGER_H
 #define __CVC4__INTEGER_H
 
-#include <gmpxx.h>
 #include <string>
+#include <iostream>
+#include "util/gmp_util.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;
-}
-
 class Rational;
 
 class Integer {