use correct syntax name for pattern combinator

--- a/src/HOLCF/Tools/Domain/domain_constructors.ML	Sun Feb 28 09:22:53 2010 -0800
+++ b/src/HOLCF/Tools/Domain/domain_constructors.ML	Sun Feb 28 12:59:21 2010 -0800
@@ -1089,7 +1089,7 @@
       fun one_case_trans (pat, (con, args)) =
         let
           val cname = Constant (syntax con);
-          val pname = Constant (syntax con ^ "_pat");
+          val pname = Constant (syntax pat);
           val ns = 1 upto length args;
           val xs = map (fn n => Variable ("x"^(string_of_int n))) ns;
           val ps = map (fn n => Variable ("p"^(string_of_int n))) ns;