luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

More changes.

This commit is contained in:
Alan Mishchenko 2024-03-02 17:10:30 -08:00
parent b73f1030a6
commit eb24d29777
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/sat/bsat2/Queue.h
View File

@ -23,10 +23,10 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include "sat/bsat2/Vec.h"
namespace Minisat {
ABC_NAMESPACE_CXX_HEADER_START
namespace Minisat {
//=================================================================================================
template<class T>