-
Guillaume Melquiond authored
Otherwise we get ugly line breaks. Example: warning: termination of this expression cannot be proved, but there is no `diverges' \\ clause in the outer \\ specification
eadd9bcd
Otherwise we get ugly line breaks. Example: warning: termination of this expression cannot be proved, but there is no `diverges' \\ clause in the outer \\ specification