# HG changeset patch
# User wenzelm
# Date 1516371283 -3600
# Node ID 7ed8d4cdfb13dd05de3cd0365745b16aa2d6598c
# Parent  bddfa23a4ea96040c2a025148ce1f1d7fb04c693
recovered antiquotation check without latex mode (cf. dfc93f2b01ea);

diff -r bddfa23a4ea9 -r 7ed8d4cdfb13 src/Pure/Thy/document_antiquotation.ML
--- a/src/Pure/Thy/document_antiquotation.ML	Fri Jan 19 14:55:46 2018 +0100
+++ b/src/Pure/Thy/document_antiquotation.ML	Fri Jan 19 15:14:43 2018 +0100
@@ -156,6 +156,8 @@
 fun eval ctxt (opts, src) =
   let
     val preview_ctxt = fold option opts ctxt;
+    val _ = command src preview_ctxt;
+
     val print_ctxt = Context_Position.set_visible false preview_ctxt;
     val print_modes = space_explode "," (Config.get print_ctxt thy_output_modes) @ [Latex.latexN];
   in [Print_Mode.with_modes print_modes (fn () => command src print_ctxt) ()] end;