Prepared &gla to try abstracting and proving concurrently.

080c3255 · Alan Mishchenko · 117bc0db · 080c3255
Commit 080c3255 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