X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/6116ccdadc2f1afadf94e52100e8578bc9e9ba02..9b8c6dc8df86d6ba1c7512cb12445912a9035a89:/src/plugins/easy_domain.sml

diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml
index 8a982ad..fee0689 100644
--- a/src/plugins/easy_domain.sml
+++ b/src/plugins/easy_domain.sml
@@ -34,6 +34,10 @@ val _ = Defaults.registerDefault ("CreateWWW",
 				  (TBase "bool", dl),
 				  (fn () => (EVar "true", dl)))
 
+val _ = Defaults.registerDefault ("DefaultA",
+				  (TBase "bool", dl),
+				  (fn () => (EVar "true", dl)))
+
 val _ = Defaults.registerDefault ("DefaultAlias",
 				  (TBase "bool", dl),
 				  (fn () => (EVar "true", dl)))