more syntax fixes

odersky · odersky · commit 623013d5f5db · 2019-09-02T22:09:15.000+02:00
diff --git a/community-build/community-projects/effpi b/community-build/community-projects/effpi
@@ -1 +1 @@
-Subproject commit d7531166bc909ce52e5ac542d3376079455d0254
+Subproject commit 45c60ae3a989f9bcff903188f870f3fe069c7ba2
