Skip to content

Commit

Permalink
make fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
gpetiot committed Oct 31, 2019
1 parent 67d8593 commit f3a73ab
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Cmts.ml
Original file line number Diff line number Diff line change
Expand Up @@ -108,7 +108,7 @@ end = struct
(not (List.is_empty children))
"@,{" " }" (dump_ tree children) )))
in
fmt_if_k (Conf.debug) (set_margin 100000000 $ dump_ tree tree.roots)
fmt_if_k Conf.debug (set_margin 100000000 $ dump_ tree tree.roots)
end

module Loc_tree = struct
Expand Down

0 comments on commit f3a73ab

Please sign in to comment.