From 270265f9d9f2d733a2e3c8cf843884570d940630 Mon Sep 17 00:00:00 2001 From: Clinton Ebadi Date: Sat, 29 Mar 2014 20:38:47 -0400 Subject: [PATCH] Fix definition of DefaultAliasSource --- src/plugins/easy_domain.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml index fafe4d5..7a15dea 100644 --- 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), - (fn () => (EApp ((EVar "defaultSource", dl), (EString (Domain.getUser ()), dl)), dl))) + (fn () => (EVar "defaultSource", dl))) val _ = Defaults.registerDefault ("HandleMail", (TBase "bool", dl), -- 2.20.1