diff --git a/SMPStaticAnalyzer b/SMPStaticAnalyzer
index 2b3ee581b19040d38739f3066ca73258d3019ba4..3b56cf16a70ef95b246d15d7c9e723f0ef55f0f3 160000
--- a/SMPStaticAnalyzer
+++ b/SMPStaticAnalyzer
@@ -1 +1 @@
-Subproject commit 2b3ee581b19040d38739f3066ca73258d3019ba4
+Subproject commit 3b56cf16a70ef95b246d15d7c9e723f0ef55f0f3
diff --git a/peasoup_examples b/peasoup_examples
index cd2d11912afdd4d8a35738d32430c1ac01a0b313..2e0de2f7503b7d41cd014770c6aeeb5aacdf6a76 160000
--- a/peasoup_examples
+++ b/peasoup_examples
@@ -1 +1 @@
-Subproject commit cd2d11912afdd4d8a35738d32430c1ac01a0b313
+Subproject commit 2e0de2f7503b7d41cd014770c6aeeb5aacdf6a76