Documentation: missing escape characters

2016-01-13 17:48:51 +02:00 · 2016-01-13 17:48:51 +02:00 · bf163a67e6
parent 3515c04433
commit bf163a67e6
1 changed files with 1 additions and 1 deletions
--- a/utils/numbers.mli
+++ b/utils/numbers.mli
@ -19,7 +19,7 @@
 module Int : sig
  include Identifiable.S with type t = int

-  (** [zero_to_n n] is the set of numbers {0, ..., n} (inclusive). *)
+  (** [zero_to_n n] is the set of numbers \{0, ..., n\} (inclusive). *)
  val zero_to_n : int -> Set.t
 end