From 69894f75254cd630e2e4fe1422044c6b7d6adb5f Mon Sep 17 00:00:00 2001 From: Wiimm Date: Wed, 3 Feb 2021 16:42:38 +0100 Subject: SZS 2.23a --- project/src/lib-kmp.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'project/src/lib-kmp.h') 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 * + * Copyright (c) 2011-2021 by Dirk Clemens * * * *************************************************************************** * * @@ -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 -- cgit v1.3.1