# HG changeset patch # User Adam Chlipala # Date 1218315244 14400 # Node ID b1b9bcfd8c42de7d0455c12ace6542774d78082a # Parent 890a619912636cf2cdf07ba38bef6f00b41db4d7 Re-consistent-ify naming of union members diff -r 890a61991263 -r b1b9bcfd8c42 src/cjr_print.sml --- 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 "=",