fix a comment

44fa9c32 · Andrei Paskevich · b59eaac0 · 44fa9c32
Commit 44fa9c32 authored Feb 20, 2011 by Andrei Paskevich
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/driver/call_provers.mli src/driver/call_provers.mli +2 -2

No files found.
--- a/src/driver/call_provers.mli
+++ b/src/driver/call_provers.mli
@@ -105,9 +105,9 @@ val call_on_buffer :
    doesn't accept stdin. *)

 val query_call : prover_call -> post_prover_call option
-(** Thread-unsafe non-blocking function that checks if the prover
+(** Thread-safe non-blocking function that checks if the prover
    has finished. *)

 val wait_on_call : prover_call -> post_prover_call
-(** Thread-unsafe blocking function that waits until the prover finishes. *)
+(** Thread-safe blocking function that waits until the prover finishes. *)