aboutsummaryrefslogtreecommitdiff
path: root/sheet.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-10-24 13:08:15 +0200
committerSébastien Dailly <sebastien@chimrod.com>2017-10-24 13:08:15 +0200
commite1e736840ed8c925e2ff442861963250a72d4385 (patch)
treec4d32c321c14df61d5d04f7356c1a6f97efbb1e9 /sheet.mli
parent3cd6317dc21cfb5bda950ae3ba29daf48e71f006 (diff)
Update sheet traversal
Diffstat (limited to 'sheet.mli')
-rwxr-xr-xsheet.mli2
1 files changed, 0 insertions, 2 deletions
diff --git a/sheet.mli b/sheet.mli
index d3c8151..0762419 100755
--- a/sheet.mli
+++ b/sheet.mli
@@ -4,8 +4,6 @@ type cell = int * int
module Raw: sig
- exception Cycle
-
type t
(** Create a new sheet *)