# HG changeset patch
# User desharna
# Date 1627978488 -7200
# Node ID 6c7feeef0ff237a19ad2afe0c762ce2dd69122a8
# Parent  ed1f576df9c4e91454593d807b8a7313f5411f07
fixed typo

diff -r ed1f576df9c4 -r 6c7feeef0ff2 NEWS
--- a/NEWS	Tue Aug 03 09:22:38 2021 +0200
+++ b/NEWS	Tue Aug 03 10:14:48 2021 +0200
@@ -201,7 +201,7 @@
 INCOMPATIBILITY.
 
 * Sledgehammer:
- - Removed legacy "lam_lifting" (synonym for "liftinng") from option
+ - Removed legacy "lam_lifting" (synonym for "lifting") from option
    "lam_trans". Minor INCOMPATIBILITY.
  - Renamed "hide_lams" to "opaque_lifting" in option "lam_trans".
    Minor INCOMPATIBILITY.