diff options
Diffstat (limited to 'src/engine/gnump')
| -rw-r--r-- | src/engine/gnump/info.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/engine/gnump/info.txt b/src/engine/gnump/info.txt index 84c286bc8..67a9bcd70 100644 --- a/src/engine/gnump/info.txt +++ b/src/engine/gnump/info.txt @@ -20,3 +20,7 @@ gmp_powm.cpp gmp_wrap.cpp gmp_wrap.h </add> + +<requires> +bigint +</requires> |