From 8635df0ac89e4b1e77322126ecff67e6bca62bd8 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sat, 11 Aug 2018 18:58:55 -0700 Subject: [PATCH] Fix ChangeLog typo. --- ChangeLog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 6418dae91e..41a277175c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,6 +1,6 @@ 2018-08-11 Paul Eggert - verify: port 'assume' to traditonal tools + verify: port 'assume' to traditional tools * lib/verify.h (assume): Port better to Oracle Studio 12.6 and other tools that use /*NOTREACHED*/ comments. -- 2.39.5