Update local Inox version

epfl-lara · Nov 21, 2019 · b500e37 · b500e37
1 parent 931f994
commit b500e37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.sbt b/build.sbt
@@ -14,7 +14,7 @@ val isMac     = osInf.indexOf("Mac") >= 0
 val osName = if (isWindows) "win" else if (isMac) "mac" else "unix"
 val osArch = System.getProperty("sun.arch.data.model")
 
-val inoxVersion = "1.1.0-340-gdcf84f2"
+val inoxVersion = "1.1.0-341-gb70895c"
 val dottyLibrary = "dotty-compiler_2.12"
 val dottyVersion = "0.12.0-RC1-nonbootstrapped"
 val circeVersion = "0.10.0-M2"