Turn off exhaustiveness checking (thanks: Martin Jambon).
authorRichard W.M. Jones <rich@annexia.org>
Fri, 25 Apr 2008 14:57:11 +0000 (14:57 +0000)
committerRichard W.M. Jones <rich@annexia.org>
Fri, 25 Apr 2008 14:57:11 +0000 (14:57 +0000)
commitedd992287c4ee26b6a16d39927649c80ede7f860
tree9b7bc2c529ddbd512190f90febcdddb282824423
parent4853c75eb968f482dc8d9919cb56fc12fec8e3d2
Turn off exhaustiveness checking (thanks: Martin Jambon).
pa_bitmatch.ml