diff --git a/external/nnf-dm b/external/nnf-dm
index 9946da1..0f4cd5b 160000
--- a/external/nnf-dm
+++ b/external/nnf-dm
@@ -1 +1 @@
-Subproject commit 9946da12aeb2aff16fb4c3caaaf05d36d45efb34
+Subproject commit 0f4cd5bd180ebbb6bea151e1454139bbf35d5448