Avoid compiler warning from 'raise Exit; ()'
authorRichard W.M. Jones <rich@annexia.org>
Tue, 1 Apr 2008 10:05:14 +0000 (10:05 +0000)
committerRichard W.M. Jones <rich@annexia.org>
Tue, 1 Apr 2008 10:05:14 +0000 (10:05 +0000)
commitebfd9926bf4f89aa61371e7d9916fb52eef6937b
treeaf4e96f972b4c37206b843e9525f2bfc20891c3b
parent65d01f251b91df36445216d1a44d8f2d6cc4fd8d
Avoid compiler warning from 'raise Exit; ()'
pa_bitmatch.ml