CoercDb.use_coercions := use_coercions;
f ~fresh_instances ~aliases thing
in
- let set_aliases (_,(use_multi_aliases,_),_) (_, user_asked as res) =
- if not use_multi_aliases then
+ let set_aliases (instances,(use_multi_aliases,_),_) (_, user_asked as res) =
+ if not use_multi_aliases && not instances then
res
else if user_asked then
res (* one shot aliases *)