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')
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