--- a/Datatype.ML	Mon Aug 22 10:56:45 1994 +0200
+++ b/Datatype.ML	Mon Aug 22 11:02:35 1994 +0200
@@ -277,7 +277,7 @@
       val xrules =
          let val (first_part, scnd_part) = calc_xrules 1 1 cons_list
          in  [("logic", "case x of " ^ first_part) <->
-              ("logic", tname ^ "_case(x, " ^ scnd_part ^ ")" )]
+              ("logic", tname ^ "_case(" ^ scnd_part ^ ", x)" )]
          end;
 
       (*type declarations for constructors*)