diff options
Diffstat (limited to 'sci-mathematics/why3/metadata.xml')
| -rw-r--r-- | sci-mathematics/why3/metadata.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml index b116328ed..44e44988f 100644 --- a/sci-mathematics/why3/metadata.xml +++ b/sci-mathematics/why3/metadata.xml @@ -15,7 +15,7 @@ language for the verification of C, Java, or Ada programs. </longdescription> <use> - <flag name='float'>Add <pkg>sci-mathematics/flocq</pkg> support</flag> - <flag name='frama-c'>Enable Frama-C plugin</flag> + <flag name="float">Add <pkg>sci-mathematics/flocq</pkg> support</flag> + <flag name="frama-c">Enable Frama-C plugin</flag> </use> </pkgmetadata> |