Fix Javadoc typo

typetools · Dec 1, 2016 · 71751e1 · 71751e1
1 parent 9007e2d
commit 71751e1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/framework/src/org/checkerframework/framework/qual/EnsuresQualifier.java b/framework/src/org/checkerframework/framework/qual/EnsuresQualifier.java
@@ -14,12 +14,13 @@
  * specified using a string. The qualifier is specified by {@code qualifier}.
  *
  * <p>Here is an example use:
+ *
  * <pre>
  *    {@literal @}EnsuresQualifierIf(result = true, expression = "#1", qualifier = Odd.class)
  *    boolean isOdd(final int p1, int p2) {
  *        return p1 % 2 == 1;
  *    }
- * <pre>
+ * </pre>
  *
  * @author Stefan Heule
  * @see EnsuresQualifiers

diff --git a/framework/src/org/checkerframework/framework/qual/EnsuresQualifierIf.java b/framework/src/org/checkerframework/framework/qual/EnsuresQualifierIf.java
@@ -15,12 +15,13 @@
  * by the {@code qualifier} annotation argument.
  *
  * <p>Here is an example use:
+ *
  * <pre>
  *   {@literal @}EnsuresQualifier(expression = "p.f1", qualifier = Odd.class)
  *   void oddF1_1() {
  *       p.f1 = null;
  *   }
- * <pre>
+ * </pre>
  *
  * <p>This annotation is only applicable to methods with a boolean return type.
  *