# HG changeset patch
# User blanchet
# Date 1676313638 -3600
# Node ID 8bec573e1fdc4858f763a90f9855b42095e4f453
# Parent  27be31d7ad88f6312a779f7c2598c6f06fc89112
updated NEWS

diff -r 27be31d7ad88 -r 8bec573e1fdc NEWS
--- a/NEWS	Mon Feb 13 15:01:58 2023 +0100
+++ b/NEWS	Mon Feb 13 19:40:38 2023 +0100
@@ -224,6 +224,9 @@
 * Mirabelle:
   - Added session to output directory structure. Minor INCOMPATIBILITY.
 
+* Metis:
+  - Made clausifier more robust in the face of nested lambdas.
+
 
 *** ML ***