Remainder to the issue 834

OCamlPro · Sep 22, 2023 · ee53ad7 · ee53ad7
1 parent d26bb62
commit ee53ad7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/util/printer.ml b/src/lib/util/printer.ml
@@ -370,7 +370,7 @@ let print_status_unknown ?(validity_mode=true) loc
     time steps goal
 
 (* TODO: The timeout answer doesn't exist in the SMT-LIB standard.
-   We should change this function. *)
+   See issue https://github.com/OCamlPro/alt-ergo/issues/834. *)
 let print_status_timeout ?(validity_mode=true) loc
     time steps goal =
   print_status ~validity_mode