X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/421df4d714870f2aa1f54944c29884730973d098..c43ed156dd3d276ad72026fc75a76373db2d9270:/src/plugins/alias.sml?ds=sidebyside

diff --git a/src/plugins/alias.sml b/src/plugins/alias.sml
index 8ed2da6..b96d57d 100644
--- a/src/plugins/alias.sml
+++ b/src/plugins/alias.sml
@@ -85,12 +85,10 @@ val _ = Env.type_one "email"
 datatype aliasSource =
 	 User of string
        | Default
-       | CatchAll
 
 val source = fn (EApp ((EVar "userSource", _), e), _) =>
 		Option.map User (Env.string e)
 	      | (EVar "defaultSource", _) => SOME Default
-	      | (EVar "catchAllSource", _) => SOME CatchAll
 	      | _ => NONE
 
 datatype aliasTarget =
@@ -136,16 +134,11 @@ fun writeSource (env, s, t) =
 		       write ": ";
 		       writeTarget (write, t);
 		       write "\n")
-	  | Default => (write "*@";
-			writeDom ();
-			write ": ";
-			writeTarget (write, t);
-			write "\n")
-	  | CatchAll => (writeD "*@";
-			 writeDomD ();
-			 writeD ": ";
-			 writeTarget (writeD, t);
-			 writeD "\n")
+	  | Default => (writeD "*@";
+			writeDomD ();
+			writeD ": ";
+			writeTarget (writeD, t);
+			writeD "\n")
     end
 			
 val _ = Env.actionV_two "aliasPrim"