From 52a53ab662f1381d88145b2aba3b01f8286dd36a Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Sun, 20 Oct 2024 15:54:37 +0200
Subject: [PATCH] Removed more prints

---
 .../core/library/lang/rascalcore/check/Import.rsc        | 9 ++++++---
 1 file changed, 6 insertions(+), 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
index 3192e05e..5275bd5e 100644
--- 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){