# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1266830880 -3600
# Node ID a5d0bfcaf26a3c6f7a00952ab8f15a44ff77ee1b
# Parent  f228929a6fab2a374e040e0b19512bb5476b38f1
rename print_maps to print_quotmaps

diff -r f228929a6fab -r a5d0bfcaf26a src/HOL/Tools/Quotient/quotient_info.ML
--- a/src/HOL/Tools/Quotient/quotient_info.ML	Mon Feb 22 09:36:29 2010 +0100
+++ b/src/HOL/Tools/Quotient/quotient_info.ML	Mon Feb 22 10:28:00 2010 +0100
@@ -280,7 +280,7 @@
     OuterKeyword.diag (Scan.succeed (Toplevel.keep (pp_fn o Toplevel.context_of)))
 
 val _ = map improper_command
-  [(print_mapsinfo, "print_maps", "prints out all map functions"),
+  [(print_mapsinfo, "print_quotmaps", "prints out all map functions"),
    (print_quotinfo, "print_quotients", "prints out all quotients"),
    (print_qconstinfo, "print_quotconsts", "prints out all quotient constants")]