X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=src%2Focaml%2Flib%2Fkhatus_time.mli;h=b6b5441ff529846a0c2efb698c5bc5e59fde370a;hb=0f81c6a873640359583d44a791e706de2d44ea1e;hp=9f930af80fb3a9df80d62986780eba310c23aaa9;hpb=c6a7396ebc93cec32a1465d878ac9d36465dcb19;p=khatus.git

diff --git a/src/ocaml/lib/khatus_time.mli b/src/ocaml/lib/khatus_time.mli
index 9f930af..b6b5441 100644
--- a/src/ocaml/lib/khatus_time.mli
+++ b/src/ocaml/lib/khatus_time.mli
@@ -15,3 +15,4 @@ val diff : t -> t -> Span.t
 val to_string : t -> string
 
 val of_string : string -> t
+(** Raises if string is not a number. *)