aboutsummaryrefslogtreecommitdiff
path: root/project/src/lib-kmp.h
diff options
context:
space:
mode:
authorWiimm <wiimm@wiimm.de>2021-02-03 16:42:38 +0100
committerWiimm <wiimm@wiimm.de>2021-02-03 16:42:38 +0100
commit69894f75254cd630e2e4fe1422044c6b7d6adb5f (patch)
tree139b93491a16987905c53c4e10bc8b44034de278 /project/src/lib-kmp.h
parenta3d605bc52ba3e53720d0dee29a470661b35a1c2 (diff)
SZS 2.23a
Diffstat (limited to 'project/src/lib-kmp.h')
-rw-r--r--project/src/lib-kmp.h6
1 files changed, 3 insertions, 3 deletions
diff --git a/project/src/lib-kmp.h b/project/src/lib-kmp.h
index 4777c83..050444e 100644
--- a/project/src/lib-kmp.h
+++ b/project/src/lib-kmp.h
@@ -17,7 +17,7 @@
* This file is part of the SZS project. *
* Visit https://szs.wiimm.de/ for project details and sources. *
* *
- * Copyright (c) 2011-2020 by Dirk Clemens <wiimm@wiimm.de> *
+ * Copyright (c) 2011-2021 by Dirk Clemens <wiimm@wiimm.de> *
* *
***************************************************************************
* *
@@ -45,7 +45,7 @@
#include "lib-std.h"
#include "lib-object.h"
-#include "lib-lecode.h"
+#include "lib-lex.h"
//
///////////////////////////////////////////////////////////////////////////////
@@ -980,7 +980,7 @@ typedef enum kmp_mode_t
KMPMD_M_TINY = KMPMD_TINY_7,
KMPMD_RM_EMPTY = KMPMD_TINY_1 << 3, // skip empty KMP sections
- KMPMD_MINIMIZE = KMPMD_RM_EMPTY << 1, // minimize KMP by reordering
+ KMPMD_MINIMIZE = KMPMD_RM_EMPTY << 1, // minimize KMP by reordering [[obsolete]] not used
//--- tests