diff --git a/org.alloytools.pardinus.native/native-code/Makefile b/org.alloytools.pardinus.native/native-code/Makefile
index efcecd41f..e9bf0705e 100644
--- a/org.alloytools.pardinus.native/native-code/Makefile
+++ b/org.alloytools.pardinus.native/native-code/Makefile
@@ -3,7 +3,6 @@
 # All native code will end up in ../native/OS/ARCH. OS=[darwin,linux,windows], ARCH=[amd64,arm64]
 #
 
-
 DIRS = native/linux/amd64 native/windows/amd64 native/darwin/amd64 native/darwin/arm64
 REPOS= minisat glucose lingeling minisatprover
 CLASSPATH = ../target/classes:../../org.alloytools.pardinus.core/target/classes