--- 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 ***