From 0d6c3cd6e9e60cd1fe0a7fb04e5cfa24132a0dda Mon Sep 17 00:00:00 2001
From: Antoine Martin <amartin@lrde.epita.fr>
Date: Fri, 18 Mar 2022 19:27:37 +0100
Subject: [PATCH] derive: handle AndNLM

---
 spot/tl/derive.cc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/spot/tl/derive.cc b/spot/tl/derive.cc
index a24fbac53..3180d4815 100644
--- a/spot/tl/derive.cc
+++ b/spot/tl/derive.cc
@@ -310,6 +310,12 @@ namespace spot
             return formula::multop(f.kind(), std::move(subderivations));
           }
 
+        case op::AndNLM:
+          {
+            formula rewrite = rewrite_and_nlm(f);
+            return partial_derivation(rewrite, var, d, owner);
+          }
+
         // d(E:F) = {d(E):F} U {c(d(E)).d(F)}
         case op::Fusion:
           {