aboutsummaryrefslogtreecommitdiffstats
path: root/ltg.ml
diff options
context:
space:
mode:
authorGuillaume Horel <guillaume.horel@gmail.com>2011-06-19 08:52:38 -0400
committerGuillaume Horel <guillaume.horel@gmail.com>2011-06-19 08:52:38 -0400
commit3ffcb6a1c060ee43ec37dc70826096f5780f6585 (patch)
treeb471c0f96d1634d1552f68eec6fa1e834b3e6938 /ltg.ml
parent77e068ef86168c6e8722b2ce6754ced4a9a0070e (diff)
downloadicfp2011-3ffcb6a1c060ee43ec37dc70826096f5780f6585.tar.gz
Added Rule_error exception
Diffstat (limited to 'ltg.ml')
0 files changed, 0 insertions, 0 deletions