# HG changeset patch
# User haftmann
# Date 1744654745 -7200
# Node ID 3034e6fd9de44889a2aa820858b2601ad299d5ac
# Parent  05fe696cd40b080e771354c9c2aa19a863513f5d
typo

diff -r 05fe696cd40b -r 3034e6fd9de4 NEWS
--- a/NEWS	Mon Apr 14 13:57:48 2025 +0200
+++ b/NEWS	Mon Apr 14 20:19:05 2025 +0200
@@ -44,7 +44,7 @@
 Minor INCOMPATIBILITY.
 
 * If "HOL-Library.Code_Target_Nat" is imported, bit operations on nat are
-implemented by bit operations on target-language integer.
+implemented by bit operations on target-language integers.
 Minor INCOMPATIBILITY.
 
 * Theory "HOL.Fun":