abc/abc-header.patch at f32 - rpms/abc - Fedora Forge

rpms/abc

Archived

This repository has been archived on 2026-01-16. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.

Jerry James 101e1a3a27 Update to latest git snapshot.

Also:
- Add -build and -format patches.
- Build with cmake.
- Enable CUDD support.

2019-06-12 20:13:03 -06:00

10 lines

367 B

Diff

Raw Permalink Blame History

 --- src/sat/glucose/Glucose.cpp.orig	2019-05-30 20:27:31.000000000 -0600
 +++ src/sat/glucose/Glucose.cpp	2019-06-04 09:41:02.469658200 -0600
@@ -33,6 +33,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
  #include "sat/glucose/Solver.h"
  #include "sat/glucose/Constants.h"
  #include "sat/glucose/System.h"
 +#include "misc/util/abc_global.h"
  ABC_NAMESPACE_IMPL_START