aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2019-05-08 11:25:22 +0200
committerGitHub <noreply@github.com>2019-05-08 11:25:22 +0200
commit3870e7cf29e2f59a10257babebab6bc37bc97c01 (patch)
treef5e445d42b42d57771bff36b67fe7db21f16fe4b /libs/minisat
parentc582a25bdbd657c9d3a91cc627520fd25188fdcc (diff)
parent30c762d3a148afa9e27a93c1fa098b7c478511a4 (diff)
downloadyosys-3870e7cf29e2f59a10257babebab6bc37bc97c01.tar.gz
yosys-3870e7cf29e2f59a10257babebab6bc37bc97c01.tar.bz2
yosys-3870e7cf29e2f59a10257babebab6bc37bc97c01.zip
Merge pull request #991 from kristofferkoch/gcc9-warnings
Fix all warnings that occurred when compiling with gcc9
Diffstat (limited to 'libs/minisat')
-rw-r--r--libs/minisat/Vec.h1
1 files changed, 1 insertions, 0 deletions
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;