aboutsummaryrefslogtreecommitdiff
path: root/cell.mli
diff options
context:
space:
mode:
Diffstat (limited to 'cell.mli')
-rwxr-xr-xcell.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/cell.mli b/cell.mli
index 621fc3b..8f225a5 100755
--- a/cell.mli
+++ b/cell.mli
@@ -10,7 +10,7 @@ end
val to_pair: t -> (int * int)
-val from_string: bool * string -> bool * Num.num -> t
+val from_string: bool * string -> bool * int -> t
val to_hname: int -> UTF8.t