some fixes

usethesource · Mar 14, 2024 · de7efcc · de7efcc
1 parent 0bfabdc
commit de7efcc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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;