From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Tue, 18 Sep 2018 20:55:25 +0000 (-0400)
Subject: Fix Symbol.new_of_string - it should not save
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;ds=inline;h=fd2204fa98928a900f303209818dce7f2bae3c8a;hp=fd2204fa98928a900f303209818dce7f2bae3c8a;p=tiger.ml.git

Fix Symbol.new_of_string - it should not save

also rename it to unique_of_string to clarify the main idea
---