Define the canonical map structure for Tiger

[tiger.ml.git] / compiler / src / lib / tiger / tiger_map.ml

diff --git a/compiler/src/lib/tiger/tiger_map.ml b/compiler/src/lib/tiger/tiger_map.ml
new file mode 100644 (file)
index 0000000..d31c9a8
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_map.ml
@@ -0,0 +1 @@
+include Tiger_map_red_black