diff --git a/external/nnf-dm b/external/nnf-dm
index e0c318c..45a98ea 160000
--- a/external/nnf-dm
+++ b/external/nnf-dm
@@ -1 +1 @@
-Subproject commit e0c318ca1d61325da1d6677a55de432043a8c1e8
+Subproject commit 45a98ea47bf84c0d2e1c2408f600557764c27fc2