diff options
Diffstat (limited to 'src/bdd/parse/parseCore.c')
-rw-r--r-- | src/bdd/parse/parseCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/parse/parseCore.c b/src/bdd/parse/parseCore.c index d60687a3..21a37070 100644 --- a/src/bdd/parse/parseCore.c +++ b/src/bdd/parse/parseCore.c @@ -89,7 +89,7 @@ static DdNode * Parse_ParserPerformTopOp( DdManager * dd, Parse_StackFn_t * pStackFn, int Oper ); //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* |