From 30c762d3a148afa9e27a93c1fa098b7c478511a4 Mon Sep 17 00:00:00 2001
From: Kristoffer Ellersgaard Koch <kristoffer.koch@gmail.com>
Date: Sun, 5 May 2019 10:00:27 +0200
Subject: Fix all warnings that occurred when compiling with gcc9

---
 libs/minisat/Vec.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'libs/minisat')

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