# HG changeset patch
# User huffman
# Date 1267390761 28800
# Node ID 13f3675c9644c9b9e5cbadf037f4d4cf7175b06d
# Parent  6e59de61d501707ab133d4ca97dd5f6a9a5ba048
use correct syntax name for pattern combinator

diff -r 6e59de61d501 -r 13f3675c9644 src/HOLCF/Tools/Domain/domain_constructors.ML
--- 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;