# HG changeset patch
# User haftmann
# Date 1372014966 -7200
# Node ID ec3a22e62b54e22083b82c0ae044de1e6d31eaf6
# Parent  c03090937c3bb7f3a1af7b56d5eca6df57ebd3f4
tuned variable names

diff -r c03090937c3b -r ec3a22e62b54 src/Tools/Code/code_printer.ML
--- a/src/Tools/Code/code_printer.ML	Sun Jun 23 22:31:50 2013 +0200
+++ b/src/Tools/Code/code_printer.ML	Sun Jun 23 21:16:06 2013 +0200
@@ -233,11 +233,11 @@
 
 fun fixity NOBR _ = false
   | fixity _ NOBR = false
-  | fixity (INFX (pr, lr)) (INFX (print_ctxt, lr_ctxt)) =
-      pr < print_ctxt
-      orelse pr = print_ctxt
+  | fixity (INFX (pr, lr)) (INFX (pr_ctxt, lr_ctxt)) =
+      pr < pr_ctxt
+      orelse pr = pr_ctxt
         andalso fixity_lrx lr lr_ctxt
-      orelse print_ctxt = ~1
+      orelse pr_ctxt = ~1
   | fixity BR (INFX _) = false
   | fixity _ _ = true;