From: Richard W.M. Jones Date: Fri, 25 Apr 2008 14:57:11 +0000 (+0000) Subject: Turn off exhaustiveness checking (thanks: Martin Jambon). X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=edd992287c4ee26b6a16d39927649c80ede7f860;hp=edd992287c4ee26b6a16d39927649c80ede7f860;p=ocaml-bitstring.git Turn off exhaustiveness checking (thanks: Martin Jambon). ---