diff --git a/extern/sol b/extern/sol
index 3ee36c7d2..9a0b5ef34 160000
--- a/extern/sol
+++ b/extern/sol
@@ -1 +1 @@
-Subproject commit 3ee36c7d2e8408e1f0958da1afdaec04eb295926
+Subproject commit 9a0b5ef34aaa3215518582a01ab3ebdf97db879a