diff options
Diffstat (limited to 'plugins/extraction/common.ml')
| -rw-r--r-- | plugins/extraction/common.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/extraction/common.ml b/plugins/extraction/common.ml index afa674e9db..0941ed50fa 100644 --- a/plugins/extraction/common.ml +++ b/plugins/extraction/common.ml @@ -304,7 +304,7 @@ and mp_renaming = let ref_renaming_fun (k,r) = let mp = modpath_of_r r in let l = mp_renaming mp in - let l = if lang () = Haskell && not (modular ()) then [""] else l in + let l = if lang () <> Ocaml && not (modular ()) then [""] else l in let s = if l = [""] (* this happens only at toplevel of the monolithic case *) then |