src/Pure/ProofGeneral/pgip_standalone.ML

 use "General/buffer.ML";
 use "General/symbol.ML";
 use "General/xml.ML";      (* used directly *)
 use "General/url.ML";      (* used directly *)
 
-use "ProofGeneral/syntax_standalone.ML";
-
 
 (* Our code *)
 
 use "ProofGeneral/pgip_types.ML";
 use "ProofGeneral/pgip_markup.ML";