Refactor cache dumper

[khatus.git] / src / ocaml / lib / khatus_time.mli

diff --git a/src/ocaml/lib/khatus_time.mli b/src/ocaml/lib/khatus_time.mli
index 9f930af..b6b5441 100644 (file)
--- 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. *)