diff --git a/src/org/rascalmpl/library/lang/rascal/grammar/Bootstrap.rsc b/src/org/rascalmpl/library/lang/rascal/grammar/Bootstrap.rsc index ad911ac57a5..cac7e34813a 100644 --- a/src/org/rascalmpl/library/lang/rascal/grammar/Bootstrap.rsc +++ b/src/org/rascalmpl/library/lang/rascal/grammar/Bootstrap.rsc @@ -11,7 +11,6 @@ import lang::rascal::grammar::definition::Parameters; import IO; import Grammar; -import util::Monitor; private str package = "org.rascalmpl.library.lang.rascal.syntax"; private str rootName = "RascalParser"; diff --git a/src/org/rascalmpl/library/lang/sdf2/filters/GeneralInjectionCount.rsc b/src/org/rascalmpl/library/lang/sdf2/filters/GeneralInjectionCount.rsc index 2e31754e491..fd881dcd3a3 100644 --- a/src/org/rascalmpl/library/lang/sdf2/filters/GeneralInjectionCount.rsc +++ b/src/org/rascalmpl/library/lang/sdf2/filters/GeneralInjectionCount.rsc @@ -8,8 +8,9 @@ private bool injection(appl(prod(Symbol _,[Symbol _],set[Attr] _), [Tree _])) = &T <: Tree generalInjectionCountFilter(amb(set[&T <: Tree] alts)) { as = [*alts]; - counts = [(0 | it + 1 | a <- as, /Tree t := a, injection(t)) | a <- alts]; - new = {as[i] | i <- index(as), counts[i] == min(counts)}; + counts = [(0 | it + 1 | /Tree t := a, injection(t)) | a <- as]; + minimum = min(counts); + new = {as[i] | i <- index(as), counts[i] == minimum}; if (new == alts) { fail generalInjectionCountFilter;