From b217dfc7e7bd7beb73c8cc23ad82383309ceb697 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Thu, 18 Jul 2019 15:21:56 +0200
Subject: Implement Coin-OR CBC polyhedron saturation operator

---
 Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Solvers/SMT-Solver')

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;
-- 
cgit v1.2.3-70-g09d2