diff --git a/external/nnf-dm b/external/nnf-dm
index 612bd95..e0c318c 160000
--- a/external/nnf-dm
+++ b/external/nnf-dm
@@ -1 +1 @@
-Subproject commit 612bd95bb4c1b9533d256065e5beb1146dbb381a
+Subproject commit e0c318ca1d61325da1d6677a55de432043a8c1e8