1 files changed, 1 insertions, 1 deletions

diff --git a/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF
index 01faa2ad..401fa6cf 100644
--- a/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF
+++ b/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF
@@ -9,7 +9,7 @@ Bundle-ClassPath: com.microsoft.z3.jar
 Bundle-NativeCode: lib/libz3.so;
  lib/libz3java.so;
  osname=Linux;
- processor=x86_64;
+ processor=x86_64,
  lib/libz3.dylib;
  lib/libz3java.dylib;
  osname=MacOSX;