Fix definition of DefaultAliasSource
[hcoop/domtool2.git] / src / plugins / easy_domain.sml
index fafe4d5..7a15dea 100644 (file)
@@ -45,7 +45,7 @@ val _ = Defaults.registerDefault ("DefaultAlias",
 
 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),