diff options
Diffstat (limited to 'caml/Camlcoq.ml')
| -rw-r--r-- | caml/Camlcoq.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/caml/Camlcoq.ml b/caml/Camlcoq.ml index c3d96658..80ac5c0f 100644 --- a/caml/Camlcoq.ml +++ b/caml/Camlcoq.ml @@ -1,7 +1,7 @@ (* Library of useful Caml <-> Coq conversions *) open Datatypes -open List +open CList open BinPos open BinInt |