From 189ce04076d8a6233ac20214e4595f1170ce0c83 Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Tue, 8 Dec 2009 23:19:23 +0000 Subject: [PATCH] fixed compile error on MacOS X git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@492 e59a4935-1847-0410-ae03-e826735625c1 --- src/sat/cryptominisat2/PackedRow.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/sat/cryptominisat2/PackedRow.h b/src/sat/cryptominisat2/PackedRow.h index aa94192..f794a04 100644 --- a/src/sat/cryptominisat2/PackedRow.h +++ b/src/sat/cryptominisat2/PackedRow.h @@ -217,14 +217,14 @@ public: friend std::ostream& operator << (std::ostream& os, const PackedRow& m); -private: - friend class PackedMatrix; PackedRow(const uint _size, uint64_t& _xor_clause_inverted, uint64_t* const _mp) : size(_size) , mp(_mp) , xor_clause_inverted(_xor_clause_inverted) {} - + +private: + friend class PackedMatrix; const uint size; uint64_t* const mp; uint64_t& xor_clause_inverted; -- 2.47.3