Presence check threw exception

AlloyTools · Mar 4, 2024 · fb76920 · fb76920
1 parent 539ecec
commit fb76920
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/org.alloytools.alloy.dist-6.1.0-20240301.142221-26.jar b/org.alloytools.alloy.dist-6.1.0-20240301.142221-26.jar
diff --git a/org.alloytools.pardinus.core/src/main/java/kodkod/engine/satlab/SATFactory.java b/org.alloytools.pardinus.core/src/main/java/kodkod/engine/satlab/SATFactory.java
@@ -290,6 +290,8 @@ public boolean isPresent() {
 			return true;
 		} catch (java.lang.UnsatisfiedLinkError e) {
 			log.debug("lib {} gave error {}", id(), e.getMessage());
+		} catch (Exception e) {
+			log.debug("not present {}", id());
 		}
 		return false;
 	}