Upgrade backend

nicolasstucki · nicolasstucki · commit e85f71e648b6 · 2017-11-23T13:59:38.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
