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;