src/CTT/ROOT
changeset 70678 36c8c32346cb
parent 70675 efd995488228
--- 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"