Remove dead code.
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 23 Feb 2012 15:06:43 +0000 (15:06 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 23 Feb 2012 15:13:33 +0000 (15:13 +0000)
commit2177768e4fe92533adc6ef76098312750576dc49
tree854661852d3923c4df5dba7d31ca7c7f9805ffb8
parent600c8000490fa8279b23ce866e9ecc2a90e5f79a
Remove dead code.
lib/pa_when.ml