mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 13:29:12 +00:00
Code Activity

Remove added newline (by re-running minisat 00_UPDATE.sh)

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2019-05-08 11:26:58 +02:00
parent 3870e7cf29
commit caad497839
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
libs/minisat/Vec.h
View file

@ -94,7 +94,6 @@ public:
}; };
template<class T, class _Size> template<class T, class _Size>
void vec<T,_Size>::capacity(Size min_cap) { void vec<T,_Size>::capacity(Size min_cap) {
if (cap >= min_cap) return; if (cap >= min_cap) return;