Merge branch 'origin' of https://github.com/CVC4/CVC4.git

Conflicts:
	src/options/quantifiers_options

1 files changed, 1 insertions, 10 deletions

diff --git a/src/util/integer_cln_imp.h b/src/util/integer_cln_imp.h
index 6bfebbaf1..12619520f 100644
--- a/src/util/integer_cln_imp.h
+++ b/src/util/integer_cln_imp.h
@@ -321,16 +321,7 @@ public:
    *
    * @param exp the exponent
    */
-  Integer pow(unsigned long int exp) const {
-    if(exp > 0){
-      cln::cl_I result= cln::expt_pos(d_value,exp);
-      return Integer( result );
-    }else if(exp == 0){
-      return Integer( 1 );
-    }else{
-      throw Exception("Negative exponent in Integer::pow()");
-    }
-  }
+  Integer pow(unsigned long int exp) const;
 
   /**
    * Return the greatest common divisor of this integer with another.