Factor common printing functionality between text and HTML into a functor

[hcoop/domtool2.git] / src / describe.sml

diff --git a/src/describe.sml b/src/describe.sml
index a39faeb..1384d3b 100644 (file)
--- a/src/describe.sml
+++ b/src/describe.sml
@@ -100,7 +100,7 @@ fun describe_unification_error t ue =
            (print "Reason: Occurs check failed for ";
             print name;
             print " in:\n";
-            printd (p_typ t))
+            output (p_typ t))
 
 fun describe_type_error loc te =
     case te of