Commit ee7458c3 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Indexing: remove unused [open].

parent f0b3b92e
......@@ -10,8 +10,6 @@
(* *)
(******************************************************************************)
open Sigs
type 'n cardinal = int lazy_t
let cardinal (lazy x : 'n cardinal) : int = x
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment