diff options
Diffstat (limited to 'src/sat/aig/fraigProve.c')
-rw-r--r-- | src/sat/aig/fraigProve.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/aig/fraigProve.c b/src/sat/aig/fraigProve.c index b5cce582..901f2fe2 100644 --- a/src/sat/aig/fraigProve.c +++ b/src/sat/aig/fraigProve.c @@ -1,6 +1,6 @@ /**CFile**************************************************************** - FileName [aigProve.c] + FileName [fraigProve.c] SystemName [ABC: Logic synthesis and verification system.] @@ -14,7 +14,7 @@ Date [Ver. 1.0. Started - June 20, 2005.] - Revision [$Id: aigProve.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + Revision [$Id: fraigProve.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] ***********************************************************************/ |