--- a/src/Tools/Code/code_ml.ML Thu Feb 27 16:07:21 2014 +0000
+++ b/src/Tools/Code/code_ml.ML Thu Feb 27 18:07:53 2014 +0100
@@ -805,7 +805,7 @@
Code_Namespace.hierarchical_program ctxt {
module_name = module_name, reserved = reserved, identifiers = identifiers,
empty_nsp = (reserved, reserved), namify_module = pair, namify_stmt = namify_stmt,
- cyclic_modules = false, class_transitive = false,
+ cyclic_modules = false, class_transitive = true,
class_relation_public = true, empty_data = (),
memorize_data = K I, modify_stmts = modify_stmts }
end;