Factor common printing functionality between text and HTML into a functor

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

diff --git a/src/describe.sig b/src/describe.sig
index 43be39a..514c2a2 100644 (file)
--- a/src/describe.sig
+++ b/src/describe.sig
@@ -20,7 +20,10 @@
 
 signature DESCRIBE = sig
 
+    exception UnequalDomains
+
     val describe_unification_error : Ast.typ -> Ast.unification_error -> unit
 
     val describe_type_error : Ast.position -> Ast.type_error -> unit
+
 end