- alias_only || List.mem baseuri (get_already_included (D.get status)) in
- let status = require2 ~baseuri ~fname ~alias_only status in
+ alias_only || List.mem baseuri (get_transitively_included (D.get status)) in
+ let status =
+ if not alias_only then
+ let s = D.get status in
+ D.set status
+ (s#set_dump
+ {s#dump with
+ includes = baseuri::s#dump.includes;
+ dependencies = fname::s#dump.dependencies})
+ else
+ status in
+ let status = require2 ~baseuri ~alias_only status in