diff --git a/dws b/dws
index 737bcd9..9062a91 160000
--- a/dws
+++ b/dws
@@ -1 +1 @@
-Subproject commit 737bcd946a0294e09c0689f8c5f2d886c01465b5
+Subproject commit 9062a91241cd34dbca0f0f94df37c68d1d6d5210
diff --git a/nnf-dm b/nnf-dm
index 029d54e..4a02c71 160000
--- a/nnf-dm
+++ b/nnf-dm
@@ -1 +1 @@
-Subproject commit 029d54e220db41776262428308950f0210fb214f
+Subproject commit 4a02c712943aac9dc2323577293214aeacc52463