diff options
Diffstat (limited to 'src/proof/bbr/bbrCex.c')
| -rw-r--r-- | src/proof/bbr/bbrCex.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/bbr/bbrCex.c b/src/proof/bbr/bbrCex.c index 7ee95e7c..60fef07c 100644 --- a/src/proof/bbr/bbrCex.c +++ b/src/proof/bbr/bbrCex.c @@ -55,7 +55,7 @@ Abc_Cex_t * Aig_ManVerifyUsingBddsCountExample( Aig_Man_t * p, DdManager * dd, DdNode * bTemp, * bVar, * bRing; int i, v, RetValue, nPiOffset; char * pValues; - int clk = clock(); + clock_t clk = clock(); //printf( "\nDeriving counter-example.\n" ); // allocate room for the counter-example |