Fix Symbol.new_of_string - it should not save

[tiger.ml.git] / compiler / src / lib / tiger / tiger_symbol.mli

diff --git a/compiler/src/lib/tiger/tiger_symbol.mli b/compiler/src/lib/tiger/tiger_symbol.mli
index 1dd5acc..8b3f8ec 100644 (file)
--- a/compiler/src/lib/tiger/tiger_symbol.mli
+++ b/compiler/src/lib/tiger/tiger_symbol.mli
@@ -1,6 +1,6 @@
 type t
 
-val new_of_string : string -> t
+val unique_of_string : string -> t
 
 val of_string : string -> t