src/HOLCF/Tools/Domain/domain_constructors.ML

       fun args_list [] = Constant "_noargs"
         | args_list xs = foldr1 (app "_args") xs;
       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;
           val vs = map (fn n => Variable ("v"^(string_of_int n))) ns;
         in