Remove added newline (by re-running minisat 00_UPDATE.sh)

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/libs/minisat/Vec.h b/libs/minisat/Vec.h
index 6856bfc5784c1c74ee456a00841a17846631fdc8..6e398801f58403fe533ab66f3db9e1ef8e04d4a7 100644 (file)
--- 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;