diff --git a/repos/Ohmer b/repos/Ohmer
index 3235ef7a..9eee42ce 160000
--- a/repos/Ohmer
+++ b/repos/Ohmer
@@ -1 +1 @@
-Subproject commit 3235ef7a348d553050b9b32a3f3067eaad76b337
+Subproject commit 9eee42ceb0e9331c5f7c1e280ef7bd390712da40