summaryrefslogtreecommitdiffstats
path: root/src/bdd/parse
diff options
context:
space:
mode:
Diffstat (limited to 'src/bdd/parse')
-rw-r--r--src/bdd/parse/parse.h4
-rw-r--r--src/bdd/parse/parseCore.c2
-rw-r--r--src/bdd/parse/parseInt.h4
-rw-r--r--src/bdd/parse/parseStack.c2
4 files changed, 6 insertions, 6 deletions
diff --git a/src/bdd/parse/parse.h b/src/bdd/parse/parse.h
index 8364e782..c16c8991 100644
--- a/src/bdd/parse/parse.h
+++ b/src/bdd/parse/parse.h
@@ -36,11 +36,11 @@
////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////
-/// MACRO DEFITIONS ///
+/// MACRO DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////
-/// FUNCTION DEFITIONS ///
+/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
/*=== parseCore.c =============================================================*/
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*************************************************************
diff --git a/src/bdd/parse/parseInt.h b/src/bdd/parse/parseInt.h
index 6e6c49b0..14623681 100644
--- a/src/bdd/parse/parseInt.h
+++ b/src/bdd/parse/parseInt.h
@@ -47,11 +47,11 @@ typedef struct ParseStackOpStruct Parse_StackOp_t; // the operation stack
////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////
-/// MACRO DEFITIONS ///
+/// MACRO DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////
-/// FUNCTION DEFITIONS ///
+/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
/*=== parseStack.c =============================================================*/
diff --git a/src/bdd/parse/parseStack.c b/src/bdd/parse/parseStack.c
index 8329070e..44e63971 100644
--- a/src/bdd/parse/parseStack.c
+++ b/src/bdd/parse/parseStack.c
@@ -37,7 +37,7 @@ struct ParseStackOpStruct
};
////////////////////////////////////////////////////////////////////////
-/// FUNCTION DEFITIONS ///
+/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
/**Function*************************************************************