Removing comment

OCamlPro · Oct 2, 2023 · 96e04df · 96e04df
1 parent 2c2b300
commit 96e04df
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/lib/reasoners/sat_solver_sig.ml b/src/lib/reasoners/sat_solver_sig.ml
@@ -41,9 +41,6 @@ type unknown_reason =
   | Memout
   | Timeout of timeout_reason
 
-(* TODO: use an ADT and add Timeout when library starts acting like a
-   library. *)
-
 module type S = sig
   type t