1 files changed, 10 insertions, 10 deletions
diff --git a/src/sail.odocl b/src/sail.odocl
index 87209053..4e91e22e 100644
--- a/src/sail.odocl
+++ b/src/sail.odocl
@@ -1,16 +1,16 @@
 ast
-ast_util
-finite_map
-initial_check
-lexer
-sail
 parse_ast
+lexer
 parser
-pp
-pretty_print
-process_file
-reporting_basic
+ast_util
+initial_check
+type_check
 rewriter
+rewrites
 specialize
-type_check
+anf
+jib
+jib_compile
+jib_util
 util
+graph
+\ No newline at end of file