diff options
Diffstat (limited to 'src/engine/gnump/info.txt')
| -rw-r--r-- | src/engine/gnump/info.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/engine/gnump/info.txt b/src/engine/gnump/info.txt index 59a9055c1..c428c32d6 100644 --- a/src/engine/gnump/info.txt +++ b/src/engine/gnump/info.txt @@ -4,14 +4,14 @@ define ENGINE_GNU_MP load_on request -<required> +<requires> dh dsa elgamal if_algo libstate nr -</required> +</requires> <add> eng_gmp.cpp |