diff options
Diffstat (limited to 'dev-util/cppcheck/metadata.xml')
| -rw-r--r-- | dev-util/cppcheck/metadata.xml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/dev-util/cppcheck/metadata.xml b/dev-util/cppcheck/metadata.xml index 874966ca682f..7af39e8eb945 100644 --- a/dev-util/cppcheck/metadata.xml +++ b/dev-util/cppcheck/metadata.xml @@ -8,9 +8,6 @@ <use> <flag name="htmlreport">install cppcheck-htmlreport</flag> - <flag name="z3"> - Enable support for <pkg>sci-mathematics/z3</pkg> backend - </flag> </use> <origin>gentoo-staging</origin> </pkgmetadata>
\ No newline at end of file |