X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/b5f2d506092c97a597d8f275776dcb76c2525796..2e87719caa8c0cc98c573a2071a3c9c7cd503632:/src/domain.sml

diff --git a/src/domain.sml b/src/domain.sml
index 6d7f2ac..3998b83 100644
--- a/src/domain.sml
+++ b/src/domain.sml
@@ -191,6 +191,10 @@ val _ = Env.type_one "node"
 	Env.string
 	validNode
 
+val _ = Env.registerFunction ("your_ip_to_ip",
+			      fn [e] => SOME e
+			       | _ => NONE)
+
 val _ = Env.registerFunction ("dns_node_to_node",
 			      fn [e] => SOME e
 			       | _ => NONE)