diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-07-04 16:02:44 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-07-04 16:02:44 +0200 |
| commit | 163af36fee3bdc3fe0e8ce629cba333cb2cff199 (patch) | |
| tree | c4004a295813151478fe8b36a41725457cc6ea17 /src/sat/bsat2 | |
| parent | 18634305282c81b0f4a08de4ebca6ccc95b11748 (diff) | |
| parent | c23cd0a7c5f4264b3209f127885b8d5432f2fd5a (diff) | |
| download | abc-163af36fee3bdc3fe0e8ce629cba333cb2cff199.tar.gz abc-163af36fee3bdc3fe0e8ce629cba333cb2cff199.tar.bz2 abc-163af36fee3bdc3fe0e8ce629cba333cb2cff199.zip | |
Merge remote-tracking branch 'upstream/master' into yosys-experimental
Diffstat (limited to 'src/sat/bsat2')
| -rw-r--r-- | src/sat/bsat2/Solver.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat2/Solver.cpp b/src/sat/bsat2/Solver.cpp index 451beed8..0f8b415a 100644 --- a/src/sat/bsat2/Solver.cpp +++ b/src/sat/bsat2/Solver.cpp @@ -820,7 +820,7 @@ void Solver::toDimacs(FILE* f, Clause& c, vec<Var>& map, Var& max) void Solver::toDimacs(const char *file, const vec<Lit>& assumps) { - FILE* f = fopen(file, "wr"); + FILE* f = fopen(file, "wb"); if (f == NULL) fprintf(stderr, "could not open file %s\n", file), exit(1); toDimacs(f, assumps); |