diff -r 56d70f7ce4a4 -r 36c8c32346cb src/CTT/ROOT
--- a/src/CTT/ROOT	Sun Sep 08 17:15:46 2019 +0200
+++ b/src/CTT/ROOT	Sun Sep 08 17:49:35 2019 +0200
@@ -16,8 +16,8 @@
     Simon Thompson, Type Theory and Functional Programming (Addison-Wesley,
     1991)
   "
+  options [thy_output_source]
   directories "ex"
-  options [thy_output_source]
   theories
     CTT
     "ex/Typechecking"