From 868db0abfd42b8bd7e484ef576c0cbe91fedab42 Mon Sep 17 00:00:00 2001
From: Dean Roehrich <dean.roehrich@hpe.com>
Date: Mon, 9 Dec 2024 14:31:50 -0600
Subject: [PATCH] Revendor nnf-dm

Signed-off-by: Dean Roehrich <dean.roehrich@hpe.com>
---
 external/nnf-dm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/nnf-dm b/external/nnf-dm
index 5766e13..de325a4 160000
--- a/external/nnf-dm
+++ b/external/nnf-dm
@@ -1 +1 @@
-Subproject commit 5766e13119f74959c006147c96ef06f668746ecd
+Subproject commit de325a4553c17c718e6f63018155e7e952eb46a0