diff options
Diffstat (limited to 'contrib/extraction/haskell.ml')
| -rw-r--r-- | contrib/extraction/haskell.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/extraction/haskell.ml b/contrib/extraction/haskell.ml index cb1ac038d..f59a282ca 100644 --- a/contrib/extraction/haskell.ml +++ b/contrib/extraction/haskell.ml @@ -13,11 +13,13 @@ open Pp open Util open Names +open Nameops open Term open Miniml open Mlutil open Options open Ocaml +open Nametab (*s Haskell renaming issues. *) |