From 74a79e5dab400dcaee6fa61e4075197f8c0f1d56 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 18 Apr 2011 23:26:34 -0700
Subject: Improvements to BDD reachability.

---
 src/aig/llb/llb1Cluster.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/llb/llb1Cluster.c')

diff --git a/src/aig/llb/llb1Cluster.c b/src/aig/llb/llb1Cluster.c
index 8a41fe58..758994b5 100644
--- a/src/aig/llb/llb1Cluster.c
+++ b/src/aig/llb/llb1Cluster.c
@@ -11,7 +11,7 @@
   Author      [Alan Mishchenko]
   
   Affiliation [UC Berkeley]
-
+ 
   Date        [Ver. 1.0. Started - June 20, 2005.]
 
   Revision    [$Id: llb1Cluster.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
-- 
cgit v1.2.3