diff --git a/dws b/dws
index a78ba3c..10d788d 160000
--- a/dws
+++ b/dws
@@ -1 +1 @@
-Subproject commit a78ba3cfc488d446d826f29e0ace2fab1f86c661
+Subproject commit 10d788dce532a06e4cc9f1a321dd4706501e1b95
diff --git a/nnf-dm b/nnf-dm
index f8a4e36..945631f 160000
--- a/nnf-dm
+++ b/nnf-dm
@@ -1 +1 @@
-Subproject commit f8a4e366d53b37dcf75c5f23571f6650fa54b1e5
+Subproject commit 945631f8ffd9a83282747c816dd2ed9fffc8196d