src/Tools/Code/code_ml.ML
changeset 55776 7dd1971b39c1
parent 55684 ee49b4f7edc8
child 56812 baef1c110f12
     1.1 --- a/src/Tools/Code/code_ml.ML	Thu Feb 27 16:07:21 2014 +0000
     1.2 +++ b/src/Tools/Code/code_ml.ML	Thu Feb 27 18:07:53 2014 +0100
     1.3 @@ -805,7 +805,7 @@
     1.4      Code_Namespace.hierarchical_program ctxt {
     1.5        module_name = module_name, reserved = reserved, identifiers = identifiers,
     1.6        empty_nsp = (reserved, reserved), namify_module = pair, namify_stmt = namify_stmt,
     1.7 -      cyclic_modules = false, class_transitive = false,
     1.8 +      cyclic_modules = false, class_transitive = true,
     1.9        class_relation_public = true, empty_data = (),
    1.10        memorize_data = K I, modify_stmts = modify_stmts }
    1.11    end;