From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Tue, 8 Dec 2009 23:19:23 +0000 (+0000)
Subject: fixed compile error on MacOS X
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=189ce04076d8a6233ac20214e4595f1170ce0c83;p=francis%2Fstp.git

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
---

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;