Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/Tools/Domain/domain_constructors.ML
changeset 35470 13f3675c9644
parent 35468 09bc6a2e2296
child 35472 c23b42730b9b 
--- 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;
isabelle