diff options
Diffstat (limited to 'sci-mathematics/cvc4/metadata.xml')
-rw-r--r-- | sci-mathematics/cvc4/metadata.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/cvc4/metadata.xml b/sci-mathematics/cvc4/metadata.xml index 42b2bfab2e1a..685032332723 100644 --- a/sci-mathematics/cvc4/metadata.xml +++ b/sci-mathematics/cvc4/metadata.xml @@ -6,7 +6,7 @@ <name>Tupone Alfredo</name> </maintainer> <use> - <flag name="cln">Use sci-libs/cln</flag> + <flag name="cln">Use <pkg>sci-libs/cln</pkg></flag> <flag name="statistics">Include statistics</flag> <flag name="replay">Turn on the replay feature</flag> <flag name="proofs">Support for proof generation</flag> |