summaryrefslogtreecommitdiffstats
path: root/src/sat/msat/msatMem.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/sat/msat/msatMem.c')
-rw-r--r--src/sat/msat/msatMem.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/msat/msatMem.c b/src/sat/msat/msatMem.c
index 2d178094..40aa223b 100644
--- a/src/sat/msat/msatMem.c
+++ b/src/sat/msat/msatMem.c
@@ -72,7 +72,7 @@ struct Msat_MmStep_t_
};
////////////////////////////////////////////////////////////////////////
-/// FUNCTION DEFITIONS ///
+/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
/**Function*************************************************************