From 951afa27cb5f2621ddac2f003a4844288e01eddf Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 27 Jan 2020 10:43:37 -0800
Subject: Cleaning up code and fixing for several typos.
---
src/base/acb/acbFunc.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'src/base/acb')
diff --git a/src/base/acb/acbFunc.c b/src/base/acb/acbFunc.c
index 6ffeb0e8..ff7e4504 100644
--- a/src/base/acb/acbFunc.c
+++ b/src/base/acb/acbFunc.c
@@ -1094,7 +1094,7 @@ Vec_Int_t * Acb_FindSupport( sat_solver * pSat, int iFirstDiv, Vec_Int_t * vWeig
vSuppBest = Vec_IntDup( vSuppStart );
printf( "Starting cost = %d.\n", CostBest );
- // interatively find the one with the most ones in the uncovered rows
+ // iteratively find the one with the most ones in the uncovered rows
for ( Iter = 0; Iter < 200; Iter++ )
{
if ( Abc_Clock() > clkLimit )
--
cgit v1.2.3