# HG changeset patch
# User wenzelm
# Date 1516358189 -3600
# Node ID 008725a1ed5264e34c85d408f4b6a970c01692e2
# Parent  aa8c25c528c0d7cad7b6854ae8f8820e09f9e2d1
adapted to a5ca98950a91;

diff -r aa8c25c528c0 -r 008725a1ed52 src/Doc/more_antiquote.ML
--- a/src/Doc/more_antiquote.ML	Fri Jan 19 11:34:41 2018 +0100
+++ b/src/Doc/more_antiquote.ML	Fri Jan 19 11:36:29 2018 +0100
@@ -10,7 +10,7 @@
 (* class specifications *)
 
 val _ =
-  Theory.setup (Thy_Output.antiquotation @{binding class_spec} (Scan.lift Args.name)
+  Theory.setup (Thy_Output.antiquotation_pretty @{binding class_spec} (Scan.lift Args.name)
     (fn ctxt => fn s =>
       let
         val thy = Proof_Context.theory_of ctxt;