changeset 197:b1b9bcfd8c42

Re-consistent-ify naming of union members
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 16:54:04 -0400
parents 890a61991263
children ab86aa858e6c
files src/cjr_print.sml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat Aug 09 16:48:32 2008 -0400
+++ b/src/cjr_print.sml	Sat Aug 09 16:54:04 2008 -0400
@@ -853,7 +853,7 @@
                                  newline,
                                  case to of
                                      NONE => box []
-                                   | SOME t => box [string "tmp->data.__lwc_",
+                                   | SOME t => box [string "tmp->data.lw_",
                                                     string x',
                                                     space,
                                                     string "=",