Skip to content

Commit

Permalink
Update OrJanusPredicateTest.java
Browse files Browse the repository at this point in the history
Fix typo causing compilation error
  • Loading branch information
Rian-Ismael authored Feb 1, 2025
1 parent 30d1f45 commit ebc67d9
Showing 1 changed file with 0 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -53,5 +53,4 @@ public void testIsQNF() {
assertFalse(getPredicate(Arrays.asList(Text.PREFIX, Cmp.EQUAL, new AndJanusPredicate(Arrays.asList(Text.PREFIX, Cmp.EQUAL)))).isQNF(),
"PREFIX EQUAL with AND(JANUS(PREFIX EQUAL)) should not be QNF");
}
```
}

0 comments on commit ebc67d9

Please sign in to comment.