From 21771adc7454ae186823b3f30d43c2fb80d70fc2 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sat, 21 Mar 2015 13:54:46 +0100
Subject: Properly capitalize filenames when extracting to Haskell. (Fix for
 bug #3221)

---
 plugins/extraction/ocaml.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'plugins/extraction/ocaml.ml')

diff --git a/plugins/extraction/ocaml.ml b/plugins/extraction/ocaml.ml
index 85f18a093..8c482b4b1 100644
--- a/plugins/extraction/ocaml.ml
+++ b/plugins/extraction/ocaml.ml
@@ -746,6 +746,7 @@ let pp_decl d = try pp_decl d with Failure "empty phrase" -> mt ()
 let ocaml_descr = {
   keywords = keywords;
   file_suffix = ".ml";
+  file_naming = file_of_modfile;
   preamble = preamble;
   pp_struct = pp_struct;
   sig_suffix = Some ".mli";
-- 
cgit v1.2.3