diff options
| author | Enrico Tassi | 2014-01-22 10:26:49 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-01-26 14:20:52 +0100 |
| commit | a2c200faca4cd20985836f1661e9b2059fd20651 (patch) | |
| tree | b448f1bbda1693017f611308b07cba6194f44cf4 | |
| parent | 7def8d76bf50dc14d198052cae56de567c349640 (diff) | |
break > 80 cols line
| -rw-r--r-- | toplevel/coqtop.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 72db18ef03..503e33cc51 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -358,7 +358,8 @@ let parse_args arglist = |"-filteropts" -> filter_opts := true |"-force-load-proofs" -> Flags.load_proofs := Flags.Force |"-h"|"-H"|"-?"|"-help"|"--help" -> usage () - |"--help-XML-protocol" -> Serialize.document Xml_printer.to_string_fmt; exit 0 + |"--help-XML-protocol" -> + Serialize.document Xml_printer.to_string_fmt; exit 0 |"-ideslave" -> Flags.ide_slave := true |"-impredicative-set" -> set_engagement Declarations.ImpredicativeSet |"-just-parsing" -> Vernac.just_parsing := true |