Removed more prints

usethesource · Oct 20, 2024 · 52a53ab · 52a53ab
1 parent a0c674b
commit 52a53ab
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/Import.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/Import.rsc
@@ -204,13 +204,16 @@ bool isCompatibleBinary(TModel lib, set[str] otherImportsAndExtends, ModuleStatu
     for(m <- otherImportsAndExtends){
        <found, tm, ms> = getTModelForModule(m, ms);
        if(found){
-           //println("<m>:"); iprintln(domain(tm.logical2physical));
            requires += {<m , l> | l <- domain(tm.logical2physical), m := getModuleFromLogical(l) };
        }
     }
 
-    println("isCompatibleBinary, unsatisfied: <requires - provides>");
-    return isEmpty(requires - provides);
+    if(isEmpty(requires - provides)){
+        return true;
+    } else {
+        println("isCompatibleBinary, unsatisfied: <requires - provides>");
+        return false;
+    }
 }
 
 tuple[ModuleStatus, rel[str, PathRole, str]] getModulePathsAsStr(Module m, ModuleStatus ms){