Author: Ralf Treinen <treinen@debian.org>
Description: fix FTBFS "unterminated string literal" with ocaml 4.02.3
Debian-bug: 813063

Index: coq-doc/kernel/univ.ml
===================================================================
--- coq-doc.orig/kernel/univ.ml	2016-02-11 08:12:56.448329274 +0100
+++ coq-doc/kernel/univ.ml	2016-02-11 08:27:43.756005774 +0100
@@ -226,7 +226,7 @@
 
 
 (* between : UniverseLevel.t -> canonical_arc -> canonical_arc list *)
-(* between u v = {w|u<=w<=v, w canonical}          *)
+(* between u v = { w|u<=w<=v, w canonical }          *)
 (* between is the most costly operation *)
 
 let between g arcu arcv =
