From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Mon, 17 Sep 2018 12:02:42 +0000 (-0400)
Subject: Remove some unused bindings
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=9340b0e333dd6acb5b18f68d1bf3eadad8401fa5;hp=9340b0e333dd6acb5b18f68d1bf3eadad8401fa5;p=tiger.ml.git

Remove some unused bindings
---