summaryrefslogtreecommitdiffstats
path: root/src/sat/msat/msatRead.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/sat/msat/msatRead.c')
-rw-r--r--src/sat/msat/msatRead.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/msat/msatRead.c b/src/sat/msat/msatRead.c
index 738562ef..b8e585a4 100644
--- a/src/sat/msat/msatRead.c
+++ b/src/sat/msat/msatRead.c
@@ -27,7 +27,7 @@
static char * Msat_FileRead( FILE * pFile );
////////////////////////////////////////////////////////////////////////
-/// FUNCTION DEFINITIONS ///
+/// FUNCTION DEFITIONS ///
////////////////////////////////////////////////////////////////////////
/**Function*************************************************************