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/proof/fra/fraLcr.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof')

diff --git a/src/proof/fra/fraLcr.c b/src/proof/fra/fraLcr.c
index 2d8b3d64..b9e2ccb4 100644
--- a/src/proof/fra/fraLcr.c
+++ b/src/proof/fra/fraLcr.c
@@ -604,7 +604,7 @@ p->timePart += Abc_Clock() - clk2;
     p->nNodesBeg = Aig_ManNodeNum(p->pAig);
     p->nRegsBeg  = Aig_ManRegNum(p->pAig);
 
-    // perforn interative reduction of the partitions
+    // perform iterative reduction of the partitions
     p->fRefining = 1;
     for ( nIter = 0; p->fRefining; nIter++ )
     {
-- 
cgit v1.2.3