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