--- a/src/Pure/PIDE/protocol.scala Sun Jan 11 21:06:47 2015 +0100
+++ b/src/Pure/PIDE/protocol.scala Tue Jan 13 21:46:09 2015 +0100
@@ -470,6 +470,8 @@
/* use_theories */
- def use_theories(id: String, master_dir: Path, thys: List[Path]): Unit =
- protocol_command("use_theories", (id :: master_dir.implode :: thys.map(_.implode)): _*)
+ def use_theories(options: Options, id: String, master_dir: Path, thys: List[Path]): Unit =
+ protocol_command("use_theories",
+ (YXML.string_of_body(Options.encode(options)) ::
+ id :: master_dir.implode :: thys.map(_.implode)): _*)
}