From 3623aa07ff839c8b87a794ef69dff03f815c70d1 Mon Sep 17 00:00:00 2001
From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Fri, 21 Feb 2014 04:10:32 -0500
Subject: [PATCH] Update for SMLNJ 110.74 `Unify.unifyTy' wants a source
 region. Pass the null region, since MLT doesn't have working support for
 tracking source positions anyway.

---
 src/mlt.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mlt.sml b/src/mlt.sml
index 2600fa4..1a4d0e8 100644
--- a/src/mlt.sml
+++ b/src/mlt.sml
@@ -128,7 +128,7 @@ struct
 		val t1 = ModuleUtil.transType eenv t1
 		val t2 = ModuleUtil.transType eenv t2
 	    in*)
-		Unify.unifyTy (t1, t2)
+		Unify.unifyTy (t1, t2, SourceMap.nullRegion, SourceMap.nullRegion)
 	    (*end*)
 	    handle Unify.Unify msg =>
 		   ((*PrettyPrint.openBox ppstream (PrettyPrint.Abs 0);
-- 
2.20.1