diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-05-08 11:26:58 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-05-08 11:26:58 +0200 |
| commit | caad497839d0d3aa91b02ce970968ad4e2c1ad88 (patch) | |
| tree | 98db1e3d452eedfa633eef58c7f2cb06ed391b71 /libs/minisat | |
| parent | 3870e7cf29e2f59a10257babebab6bc37bc97c01 (diff) | |
| download | yosys-caad497839d0d3aa91b02ce970968ad4e2c1ad88.tar.gz yosys-caad497839d0d3aa91b02ce970968ad4e2c1ad88.tar.bz2 yosys-caad497839d0d3aa91b02ce970968ad4e2c1ad88.zip | |
Remove added newline (by re-running minisat 00_UPDATE.sh)
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'libs/minisat')
| -rw-r--r-- | libs/minisat/Vec.h | 1 |
1 files changed, 0 insertions, 1 deletions
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; |