Fix definition of DefaultAliasSource

[hcoop/domtool2.git] / src / plugins / easy_domain.sml

diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml
index fafe4d5..7a15dea 100644 (file)
--- a/src/plugins/easy_domain.sml
+++ b/src/plugins/easy_domain.sml
@@ -45,7 +45,7 @@ val _ = Defaults.registerDefault ("DefaultAlias",
 
 val _ = Defaults.registerDefault ("DefaultAliasSource",
                                  (TBase "aliasSource", dl),
 
 val _ = Defaults.registerDefault ("DefaultAliasSource",
                                  (TBase "aliasSource", dl),

-                                 (fn () => (EApp ((EVar "defaultSource", dl), (EString (Domain.getUser ()), dl)), dl)))
+                                 (fn () => (EVar "defaultSource", dl)))

 
 val _ = Defaults.registerDefault ("HandleMail",
                                  (TBase "bool", dl),
 
 val _ = Defaults.registerDefault ("HandleMail",
                                  (TBase "bool", dl),