From 2f1017dd0ef438fd12919f858b80b3b9d4fe6d17 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Wed, 26 Aug 2020 00:29:28 +0200 Subject: [PATCH] fstrcmp: Clarification regarding NOTE_ORDERED. * lib/fstrcmp.c (NOTE_ORDERED): Define to false. --- ChangeLog | 5 +++++ lib/fstrcmp.c | 1 + 2 files changed, 6 insertions(+) diff --git a/ChangeLog b/ChangeLog index 33cea278b5..4ffa48fb1c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2020-08-25 Bruno Haible + + fstrcmp: Clarification regarding NOTE_ORDERED. + * lib/fstrcmp.c (NOTE_ORDERED): Define to false. + 2020-08-24 Paul Eggert diffseq: new option NOTE_ORDERED diff --git a/lib/fstrcmp.c b/lib/fstrcmp.c index 1a4fbfdf8d..49ce27a6b0 100644 --- a/lib/fstrcmp.c +++ b/lib/fstrcmp.c @@ -46,6 +46,7 @@ ptrdiff_t edit_count; #define NOTE_DELETE(ctxt, xoff) ctxt->edit_count++ #define NOTE_INSERT(ctxt, yoff) ctxt->edit_count++ +#define NOTE_ORDERED false #define EARLY_ABORT(ctxt) ctxt->edit_count > 0 /* We don't need USE_HEURISTIC, since it is unlikely in typical uses of fstrcmp(). */ -- 2.39.5