From 6f6ff0e39eb6d771ef5336394079646ccdc18bd5 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Tue, 7 Nov 2017 15:44:40 +0100 Subject: Use Zarith instead of Num for computing numbers --- cell.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cell.ml') diff --git a/cell.ml b/cell.ml index c4aa9c3..e6ccd63 100755 --- a/cell.ml +++ b/cell.ml @@ -10,7 +10,7 @@ let from_string (fixed_x, x_name) (fixed_y, y) = | 'A'..'Z' as c -> x:= (!x * 26) + ((int_of_char c) - 64) | _ -> () ) x_name; - (!x, Num.int_of_num y), (fixed_x, fixed_y) + (!x, y), (fixed_x, fixed_y) let to_hname x = begin let rec extract acc value = -- cgit v1.2.3