From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Sat, 15 Sep 2018 20:15:49 +0000 (-0400)
Subject: Disambiguate variant label
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=ce2f1040878bdbda39c3e0a554b6f0221497eff0;hp=ce2f1040878bdbda39c3e0a554b6f0221497eff0;p=tiger.ml.git

Disambiguate variant label
---