From 4760983a461142eacceeed45ddcf5598e6a389a2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Jul 2012 18:15:08 -0700 Subject: Fixing time primtouts throughout the code. --- src/aig/saig/saigHaig.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/saig/saigHaig.c') diff --git a/src/aig/saig/saigHaig.c b/src/aig/saig/saigHaig.c index b92b7a9b..d06dc758 100644 --- a/src/aig/saig/saigHaig.c +++ b/src/aig/saig/saigHaig.c @@ -198,7 +198,7 @@ int Aig_ManMapHaigNodes( Aig_Man_t * pHaig ) SeeAlso [] ***********************************************************************/ -int Aig_ManHaigVerify( Aig_Man_t * p, Aig_Man_t * pAig, Aig_Man_t * pHaig, int nFrames, int clkSynth ) +int Aig_ManHaigVerify( Aig_Man_t * p, Aig_Man_t * pAig, Aig_Man_t * pHaig, int nFrames, clock_t clkSynth ) { int nBTLimit = 0; Aig_Man_t * pFrames, * pTemp; -- cgit v1.2.3