EVar -> EString in default for DefaultWebNode
[hcoop/domtool2.git] / src / plugins / easy_domain.sml
index 2d7110c..63601d2 100644 (file)
@@ -52,6 +52,6 @@ val _ = Defaults.registerDefault ("AddMX",
 
 val _ = Defaults.registerDefault ("DefaultWebNode",
                                  (TBase "web_node", dl),
-                                 (fn () => (EVar "mire", dl)))
+                                 (fn () => (EString "mire", dl)))
 
 end