From caad497839d0d3aa91b02ce970968ad4e2c1ad88 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 8 May 2019 11:26:58 +0200
Subject: [PATCH] Remove added newline (by re-running minisat 00_UPDATE.sh)

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---
 libs/minisat/Vec.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/libs/minisat/Vec.h b/libs/minisat/Vec.h
index 6856bfc57..6e398801f 100644
--- a/libs/minisat/Vec.h
+++ b/libs/minisat/Vec.h
@@ -94,7 +94,6 @@ public:
 };
 
 
-
 template<class T, class _Size>
 void vec<T,_Size>::capacity(Size min_cap) {
     if (cap >= min_cap) return;
-- 
2.30.2