Skip to content

Commit

Permalink
Remove unnecessary module path
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
  • Loading branch information
rgrinberg committed Sep 11, 2018
1 parent b2bc869 commit da2b80b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/module.ml
Original file line number Diff line number Diff line change
Expand Up @@ -211,4 +211,4 @@ end
let is_public t = Visibility.is_public t.visibility

let set_private t =
{ t with visibility = Visibility.Private }
{ t with visibility = Private }

0 comments on commit da2b80b

Please sign in to comment.