Native loading

AlloyTools · Jun 8, 2023 · 062d0bb · 062d0bb
1 parent a46f147
commit 062d0bb
Showing 1 changed file with 1 addition and 21 deletions.
diff --git a/...ools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4whole/PreferencesDialog.java b/...ools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4whole/PreferencesDialog.java
@@ -380,27 +380,7 @@ private static boolean _loadLibrary(String library) {
             System.loadLibrary(library);
             return true;
         } catch (UnsatisfiedLinkError ex) {
-        }
-        try {
-            System.loadLibrary(library + "x1");
-            return true;
-        } catch (UnsatisfiedLinkError ex) {}
-        try {
-            System.loadLibrary(library + "x2");
-            return true;
-        } catch (UnsatisfiedLinkError ex) {}
-        try {
-            System.loadLibrary(library + "x3");
-            return true;
-        } catch (UnsatisfiedLinkError ex) {}
-        try {
-            System.loadLibrary(library + "x4");
-            return true;
-        } catch (UnsatisfiedLinkError ex) {}
-        try {
-            System.loadLibrary(library + "x5");
-            return true;
-        } catch (UnsatisfiedLinkError ex) {
+            ex.printStackTrace();
             return false;
         }
     }