diff --git a/external/nnf-dm b/external/nnf-dm
index e0c318c..a8f6e90 160000
--- a/external/nnf-dm
+++ b/external/nnf-dm
@@ -1 +1 @@
-Subproject commit e0c318ca1d61325da1d6677a55de432043a8c1e8
+Subproject commit a8f6e90e6507b1ff46d6cd373ce07f7989619a31