Upgrade backend

nicolasstucki · nicolasstucki · commit a4738be7e133 · 2017-11-27T17:29:17.000+01:00
Removed all warinings from backend
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,6 @@
 [submodule "scala-backend"]
 	path = scala-backend
-	url = https://github.com/lampepfl/scala.git
+	url = https://github.com/dotty-staging/scala.git
 	branch = sharing-backend
 [submodule "scala2-library"]
 	path = scala2-library
diff --git a/scala-backend b/scala-backend
@@ -1 +1 @@
-Subproject commit 9dfe905943d0fc946677f75caf38d10915c185ae
+Subproject commit 31f96813dc8282a685728ae5769f7c1004d89e3a
