X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;ds=sidebyside;f=src%2Focaml%2Flib%2Fkhatus_time.mli;h=b6b5441ff529846a0c2efb698c5bc5e59fde370a;hb=6f35286a0c7e5c5b6569f742495efc267772f7a1;hp=9f930af80fb3a9df80d62986780eba310c23aaa9;hpb=5bdce5de1d06bd71c016cfe969f8d8e406f54a9e;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. *)