split a line

e28f4cda · Jean-Christophe Filliatre · 2da06f26 · e28f4cda
Commit e28f4cda authored Feb 14, 2016 by Jean-Christophe Filliatre
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 3 deletions

modules/hashtbl.mlw modules/hashtbl.mlw +4 -3

No files found.
--- a/modules/hashtbl.mlw
+++ b/modules/hashtbl.mlw

 (** {1 Hash tables}

-This module provides Hash tables à la OCaml. Each key is mapped to a {h <b>stack</b>} of values,
-   with [add h k v] pushing a new value [v] for key [k],
-   and [remove h k] popping a value for key [k].
+  This module provides Hash tables à la OCaml.
+  Each key is mapped to a {h <b>stack</b>} of values,
+  with [add h k v] pushing a new value [v] for key [k],
+  and [remove h k] popping a value for key [k].

 *)