mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-07 01:20:57 +00:00
Code Activity

Missing newline

Browse source
This commit is contained in:
Gus Smith 2026-02-06 17:45:00 -08:00
parent f062a0c8d6
commit 2bb352a861
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
libs/ezsat/ezsat.cc
View file

@ -1225,7 +1225,7 @@ ezSATvec ezSAT::vec(const std::vector<int> &vec)
void ezSAT::printDIMACS(FILE *f, bool verbose, const std::vector<std::vector<int>> &extraClauses) const void ezSAT::printDIMACS(FILE *f, bool verbose, const std::vector<std::vector<int>> &extraClauses) const
{ {
if (cnfConsumed) { if (cnfConsumed) {
fprintf(stderr, "Usage error: printDIMACS() must not be called after cnfConsumed()!"); fprintf(stderr, "Usage error: printDIMACS() must not be called after cnfConsumed()!\n");
abort(); abort();
} }