src/Pure/ROOT.ML
changeset 57905 c0c5652e796e
parent 57649 a43898f76ae9
child 57926 59b2572e8e93
--- a/src/Pure/ROOT.ML	Mon Aug 11 22:59:38 2014 +0200
+++ b/src/Pure/ROOT.ML	Tue Aug 12 00:08:32 2014 +0200
@@ -236,6 +236,7 @@
 
 (*theory sources*)
 use "Thy/thy_header.ML";
+use "PIDE/command_span.ML";
 use "Thy/thy_syntax.ML";
 use "Thy/html.ML";
 use "Thy/latex.ML";