diff options
author | 2002-02-14 17:16:18 +0000 | |
---|---|---|
committer | 2002-02-14 17:16:18 +0000 | |
commit | fd1b1b3e4456960dfdc59508a6e1eaaad21b3122 (patch) | |
tree | 18e3c9c492ba9089fb8f90e5d6a74be1238e3737 /contrib/extraction/haskell.ml | |
parent | 909d7c9edd05868d1fba2dae65e6ff775a41dcbe (diff) |
qq inline manuels (sigS_rec ...) + utilisation de library_part
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2476 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/extraction/haskell.ml')
-rw-r--r-- | contrib/extraction/haskell.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/extraction/haskell.ml b/contrib/extraction/haskell.ml index 04f201edd..cb3dd32e3 100644 --- a/contrib/extraction/haskell.ml +++ b/contrib/extraction/haskell.ml @@ -39,7 +39,7 @@ let preamble prm = (str "module " ++ str m ++ str " where" ++ fnl () ++ fnl () ++ str "type Prop = Unit.Unit" ++ fnl () ++ str "prop = Unit.unit" ++ fnl () ++ fnl () ++ - str "type Arity = Unit.Unit" ++ fnl () ++ + str "data Arity = Unit.Unit" ++ fnl () ++ str "arity = Unit.unit" ++ fnl () ++ fnl ()) let pp_abst = function |