Better coding style (syntax).

1 files changed, 9 insertions, 9 deletions

diff --git a/ltac/profile_ltac_tactics.ml4 b/ltac/profile_ltac_tactics.ml4
index a4ba5eab48..c092a0cb61 100644
--- a/ltac/profile_ltac_tactics.ml4
+++ b/ltac/profile_ltac_tactics.ml4
@@ -8,32 +8,32 @@
 
 (*i camlp4deps: "grammar/grammar.cma" i*)
 
+(** Ltac profiling entrypoints *)
+
 open Profile_ltac
 open Stdarg
 
 DECLARE PLUGIN "profile_ltac_plugin"
 
 let tclSET_PROFILING b =
-   Proofview.tclLIFT (Proofview.NonLogical.make (fun () ->
-   set_profiling b))
+   Proofview.tclLIFT (Proofview.NonLogical.make (fun () -> set_profiling b))
 
 TACTIC EXTEND start_ltac_profiling
-  | [ "start" "ltac" "profiling" ] -> [ tclSET_PROFILING true  ]
+| [ "start" "ltac" "profiling" ] -> [ tclSET_PROFILING true ]
 END
 
 TACTIC EXTEND stop_profiling
-  | [ "stop" "ltac" "profiling" ] ->  [ tclSET_PROFILING false ]
-END;;
+| [ "stop" "ltac" "profiling" ] -> [ tclSET_PROFILING false ]
+END
 
 VERNAC COMMAND EXTEND ResetLtacProfiling CLASSIFIED AS SIDEFF
- [ "Reset" "Ltac" "Profile" ] -> [ reset_profile() ]
+  [ "Reset" "Ltac" "Profile" ] -> [ reset_profile() ]
 END
 
 VERNAC COMMAND EXTEND ShowLtacProfile CLASSIFIED AS QUERY
- [ "Show" "Ltac" "Profile" ] -> [ print_results() ]
+  [ "Show" "Ltac" "Profile" ] -> [ print_results() ]
 END
 
-
 VERNAC COMMAND EXTEND ShowLtacProfileTactic CLASSIFIED AS QUERY
- [ "Show" "Ltac" "Profile" string(s) ] -> [ print_results_tactic s ]
+  [ "Show" "Ltac" "Profile" string(s) ] -> [ print_results_tactic s ]
 END