diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-05-08 11:25:22 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-08 11:25:22 +0200 |
commit | 3870e7cf29e2f59a10257babebab6bc37bc97c01 (patch) | |
tree | f5e445d42b42d57771bff36b67fe7db21f16fe4b /libs/minisat | |
parent | c582a25bdbd657c9d3a91cc627520fd25188fdcc (diff) | |
parent | 30c762d3a148afa9e27a93c1fa098b7c478511a4 (diff) | |
download | yosys-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.h | 1 |
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; |