Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

wrong indentation for "let open .. in" #6

smondet opened this Issue Nov 13, 2012 · 0 comments


None yet
2 participants

smondet commented Nov 13, 2012

we get

  (* ... *)
  let open Option in
not_indented_line …

@AltGr AltGr was assigned Nov 13, 2012

@AltGr AltGr closed this Nov 13, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment