From 3347eb56c6951e39e7d7b375198ab819dffcdf1b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 4 Sep 2006 13:40:01 +0000 Subject: [PATCH] Aliases are now wrote down even during the first pass. The only case they are not written down is that of multiple passes. This makes the scripts more robusts and faster. We still need (more and more) one shot aliases. --- components/grafite_parser/grafiteDisambiguator.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/components/grafite_parser/grafiteDisambiguator.ml b/components/grafite_parser/grafiteDisambiguator.ml index 76d44421c..181532462 100644 --- a/components/grafite_parser/grafiteDisambiguator.ml +++ b/components/grafite_parser/grafiteDisambiguator.ml @@ -108,8 +108,8 @@ let disambiguate_thing ~aliases ~universe f ~fresh_instances ~aliases ~universe thing in let set_aliases (instances,(use_mono_aliases,_,_),_) (_, user_asked as res) = - if use_mono_aliases && not instances then - drop_aliases res + if use_mono_aliases then + drop_aliases ~minimize_instances:true res (* one shot aliases *) else if user_asked then drop_aliases ~minimize_instances:true res (* one shot aliases *) else -- 2.39.2