From 043cfcd775d067eadc400b7af40347e170a3774b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 18 Sep 2014 11:46:14 -0700
Subject: Concurrency for Boolean matching.

---
 src/proof/abs/absPth.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof/abs/absPth.c')

diff --git a/src/proof/abs/absPth.c b/src/proof/abs/absPth.c
index bd3f2dcb..f04a20d1 100644
--- a/src/proof/abs/absPth.c
+++ b/src/proof/abs/absPth.c
@@ -194,7 +194,7 @@ int Gia_GlaProveCheck( int fVerbose )
     return 1;
 }
 
-#endif
+#endif // pthreads are used
 
 ////////////////////////////////////////////////////////////////////////
 ///                       END OF FILE                                ///
-- 
cgit v1.2.3