diff --git a/java/ql/src/experimental/quantum/Examples/WeakKDFIterationCount.ql b/java/ql/src/experimental/quantum/Examples/WeakKDFIterationCount.ql index fc07c30e677..71dfb87b70c 100644 --- a/java/ql/src/experimental/quantum/Examples/WeakKDFIterationCount.ql +++ b/java/ql/src/experimental/quantum/Examples/WeakKDFIterationCount.ql @@ -4,7 +4,6 @@ * @id java/quantum/weak-kdf-iteration-count * @kind path-problem * @problem.severity error - * @precision high * @tags quantum * experimental */