Update scala2-library after lampepfl/scala/pull/31

OlivierBlanvillain · OlivierBlanvillain · commit f6668f970a0b · 2017-12-04T17:15:00.000+01:00
diff --git a/scala2-library b/scala2-library
@@ -1 +1 @@
-Subproject commit 1497d54101b918e16f2a43fc769ddabdccf61a00
+Subproject commit 233365ae3c92bda840b8c437dc49f03d37de9993
