diff options
| author | Tim King <taking@google.com> | 2016-10-02 18:08:29 -0700 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2016-10-02 18:08:29 -0700 |
| commit | d93074af065327e49fb4e5160670334618f88284 (patch) | |
| tree | e3fff2e09573c39736e0833d77c7b105864b0f20 /src/util/integer_gmp_imp.h | |
| parent | f95488791b2d14e0710fea09202bb5638e66e93d (diff) | |
Removing the throw specifiers from Cardinality.
Diffstat (limited to 'src/util/integer_gmp_imp.h')
| -rw-r--r-- | src/util/integer_gmp_imp.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h index 3a95c6b85..5af902ac6 100644 --- a/src/util/integer_gmp_imp.h +++ b/src/util/integer_gmp_imp.h @@ -361,8 +361,8 @@ public: */ Integer pow(unsigned long int exp) const { mpz_class result; - mpz_pow_ui(result.get_mpz_t(),d_value.get_mpz_t(),exp); - return Integer( result ); + mpz_pow_ui(result.get_mpz_t(), d_value.get_mpz_t(), exp); + return Integer(result); } /** |