|
From: Adam C. <ad...@us...> - 2008-02-24 21:47:11
|
Update of /cvsroot/hcoop/domtool2/src/plugins In directory sc8-pr-cvs17.sourceforge.net:/tmp/cvs-serv16732/src/plugins Modified Files: easy_domain.sml Log Message: Add back mistakenly removed default env var Index: easy_domain.sml =================================================================== RCS file: /cvsroot/hcoop/domtool2/src/plugins/easy_domain.sml,v retrieving revision 1.4 retrieving revision 1.5 diff -C2 -d -r1.4 -r1.5 *** easy_domain.sml 24 Feb 2008 21:32:44 -0000 1.4 --- easy_domain.sml 24 Feb 2008 21:47:04 -0000 1.5 *************** *** 35,38 **** --- 35,42 ---- (fn () => (EVar "true", dl))) + val _ = Defaults.registerDefault ("DefaultAlias", + (TBase "bool", dl), + (fn () => (EVar "true", dl))) + val _ = Defaults.registerDefault ("HandleMail", (TBase "bool", dl), |