Fix bad contract implementation

2013-02-03 16:15:14 -05:00 · 2013-02-03 16:15:14 -05:00 · 5521bf3dd7
parent f31bf37a6f
commit 5521bf3dd7
1 changed files with 0 additions and 1 deletions
--- a/public/java/src/org/broadinstitute/sting/utils/genotyper/PerReadAlleleLikelihoodMap.java
+++ b/public/java/src/org/broadinstitute/sting/utils/genotyper/PerReadAlleleLikelihoodMap.java
@ -131,7 +131,6 @@ public class PerReadAlleleLikelihoodMap {
     * @param p                 Pileup element
     * @return
     */
-    @Ensures("result != null")
    public boolean containsPileupElement(PileupElement p) {
        if (p==null )
           throw new IllegalArgumentException("Invalid pileup element");