Fix 'home' bugs

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

diff --git a/src/domain.sig b/src/domain.sig
index b85bbf7..6762fc6 100644 (file)
--- a/src/domain.sig
+++ b/src/domain.sig
@@ -20,6 +20,7 @@
 
 signature DOMAIN = sig
 
+    val yourPath : string -> bool
     val isIdent : char -> bool
     val validHost : string -> bool
     val validDomain : string -> bool