Remove some unused bindings
authorSiraaj Khandkar <siraaj@khandkar.net>
Mon, 17 Sep 2018 12:02:42 +0000 (08:02 -0400)
committerSiraaj Khandkar <siraaj@khandkar.net>
Mon, 17 Sep 2018 12:02:42 +0000 (08:02 -0400)
commit9340b0e333dd6acb5b18f68d1bf3eadad8401fa5
tree9a1dda6736abbb922dd2cb7c942d93a004b32570
parent54e838f482844369048d4f88e87a092a87162b72
Remove some unused bindings
compiler/src/lib/tiger/tiger_semant.ml
This page took 0.018438 seconds and 4 git commands to generate.