summaryrefslogtreecommitdiffstats
path: root/src/sat/fraig/fraigInt.h
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2005-10-12 08:01:00 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2005-10-12 08:01:00 -0700
commite2619aa120bf8166b70cec3df2740cd748b5b723 (patch)
treec4edceba1eed1c1c5a1b0afadfcf259035715973 /src/sat/fraig/fraigInt.h
parent77536ad1fd75c6b36f268e3fbbc90860de1b229d (diff)
downloadabc-e2619aa120bf8166b70cec3df2740cd748b5b723.tar.gz
abc-e2619aa120bf8166b70cec3df2740cd748b5b723.tar.bz2
abc-e2619aa120bf8166b70cec3df2740cd748b5b723.zip
Version abc51012
Diffstat (limited to 'src/sat/fraig/fraigInt.h')
-rw-r--r--src/sat/fraig/fraigInt.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/fraig/fraigInt.h b/src/sat/fraig/fraigInt.h
index a5da2263..f5e792eb 100644
--- a/src/sat/fraig/fraigInt.h
+++ b/src/sat/fraig/fraigInt.h
@@ -47,7 +47,7 @@
*/
////////////////////////////////////////////////////////////////////////
-/// MACRO DEFITIONS ///
+/// MACRO DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
// enable this macro to support the fanouts
@@ -365,7 +365,7 @@ struct Fraig_HashTableStruct_t_
////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////
-/// FUNCTION DEFITIONS ///
+/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
/*=== fraigCanon.c =============================================================*/