Prepared &gla to try abstracting and proving concurrently.

f64bb36f · Alan Mishchenko · 3b14c7b4 · f64bb36f
Commit f64bb36f authored Sep 14, 2012 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/aig/gia/giaAbsPth.c
+1 -1

No files found.
--- a/src/aig/gia/giaAbsPth.c
+++ b/src/aig/gia/giaAbsPth.c
@@ -22,7 +22,7 @@
 #include "proof/pdr/pdr.h"

 // comment this out to disable pthreads
-#define ABC_USE_PTHREADS
+//#define ABC_USE_PTHREADS

 #ifdef ABC_USE_PTHREADS