--- a/src/HOL/ROOT Wed Mar 27 18:04:21 2013 +0100
+++ b/src/HOL/ROOT Wed Mar 27 19:32:44 2013 +0100
@@ -560,7 +560,7 @@
Set_Comprehension_Pointfree_Tests
Parallel_Example
IArray_Examples
- theories SVC_Oracle
+ SVC_Oracle
theories [skip_proofs = false]
Meson_Test
theories [condition = SVC_HOME]