diff options
Diffstat (limited to 'src/aig/gia/giaSort.c')
-rw-r--r-- | src/aig/gia/giaSort.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaSort.c b/src/aig/gia/giaSort.c index f73e92bb..5183c441 100644 --- a/src/aig/gia/giaSort.c +++ b/src/aig/gia/giaSort.c @@ -160,7 +160,7 @@ void Gia_SortTest() { int nSize = 100000000; int * pArray; - int clk = clock(); + clock_t clk = clock(); printf( "Sorting %d integers\n", nSize ); pArray = Gia_SortGetTest( nSize ); |