summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-09 16:54:04 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-09 16:54:04 -0400
commit3232399b3893f93678a2d1a519bd0d4011275dba (patch)
treef254c5ef6dbc110d2b04460f531592e4c1a1c7be /src/cjr_print.sml
parent3e59b823392701f538f972d689d04b0182696e51 (diff)
Re-consistent-ify naming of union members
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r--src/cjr_print.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 4b173aa1..6d115fd1 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -853,7 +853,7 @@ fun p_file env (ds, ps) =
newline,
case to of
NONE => box []
- | SOME t => box [string "tmp->data.__lwc_",
+ | SOME t => box [string "tmp->data.lw_",
string x',
space,
string "=",