remove comment that does not align with result

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 6, 2022 · aaabbfb · aaabbfb
1 parent d125d87
commit aaabbfb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/tactic/core/nnf_tactic.h b/src/tactic/core/nnf_tactic.h
@@ -47,7 +47,6 @@ Once all negations are pushed inside, the resulting formula is in NNF.
   (apply nnf)
 ```
 
-This would convert the formula (not (or (> x 0) (< x 0))) to (and (<= x 0) (>= x 0)), which is in NNF.
 
 ### Notes