Use Zarith instead of Num for computing numbers

1 files changed, 1 insertions, 1 deletions

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 =