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