Fix Javadoc comment

emichael · Jul 11, 2023 · 35df0e9 · 35df0e9
1 parent 45d2c5b
commit 35df0e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/framework/tst/dslabs/framework/testing/StatePredicate.java b/framework/tst/dslabs/framework/testing/StatePredicate.java
@@ -266,7 +266,7 @@ public static StatePredicate resultPredicate(String name,
      * state. Because StatePredicates can call user code, they can throw
      * exceptions.
      *
-     * Invariant: this.exceptionThrown() == (this.value() == null)
+     * <p>Invariant: this.exceptionThrown() == (this.value() == null)
      */
     public static class PredicateResult {
         @Getter private final StatePredicate predicate;