X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/9b7ee2b22abce813120a633f5a4f5523a630a2ea..75d4c2d6fb7996625d062f5949ceb2e66c0a70ab:/src/describe.sig diff --git a/src/describe.sig b/src/describe.sig index 514c2a2..268a9e1 100644 --- a/src/describe.sig +++ b/src/describe.sig @@ -26,4 +26,6 @@ signature DESCRIBE = sig val describe_type_error : Ast.position -> Ast.type_error -> unit + + end