more syntax fixes

odersky · odersky · commit 8df2abc7119f · 2019-09-02T23:29:31.000+02:00
diff --git a/community-build/community-projects/effpi b/community-build/community-projects/effpi
@@ -1 +1 @@
-Subproject commit 45c60ae3a989f9bcff903188f870f3fe069c7ba2
+Subproject commit 858151b7e8e3d3cc01b6ed070742b7c44a8d158b
