Fix regeneration of multi-file dependencies

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

diff --git a/src/describe.sig b/src/describe.sig
index 268a9e1..8333c26 100644 (file)
--- a/src/describe.sig
+++ b/src/describe.sig
@@ -26,6 +26,6 @@ signature DESCRIBE = sig
 
     val describe_type_error : Ast.position -> Ast.type_error -> unit
 
-
+    val ununify : Ast.typ -> Ast.typ
 
 end