Align 'mantis-extvm-pb' module in nix with submodule (#1121)

* Bump 'mantis-extvm-pb' module in nix

* Bump extvm submodule

Author: dzajkowski

build.sbt

@@ -57,21 +57,20 @@ val baseScalacOptions = Seq(
 // https://www.scala-lang.org/2021/01/12/configuring-and-suppressing-warnings.html
 // cat={warning-name}:ws prints a summary with the number of warnings of the given type
 // any:e turns all remaining warnings into errors
-val fatalWarnings = Seq(
-  if (sys.env.get("MANTIS_FULL_WARNS").contains("true")) {
-    "-Wconf:any:w"
-  }
-  else {
-    "-Wconf:" ++ Seq(
-      // Let's turn those gradually into errors:
-      "cat=deprecation:ws",
-      "cat=lint-package-object-classes:ws",
-      "cat=unused:ws",
-      "cat=lint-infer-any:ws",
-      "cat=lint-byname-implicit:ws",
-      "cat=other-match-analysis:ws",
-      "any:e").mkString(",")
-  }) ++ Seq("-Ypatmat-exhaust-depth", "off")
+val fatalWarnings = Seq(if (sys.env.get("MANTIS_FULL_WARNS").contains("true")) {
+  "-Wconf:any:w"
+} else {
+  "-Wconf:" ++ Seq(
+    // Let's turn those gradually into errors:
+    "cat=deprecation:ws",
+    "cat=lint-package-object-classes:ws",
+    "cat=unused:ws",
+    "cat=lint-infer-any:ws",
+    "cat=lint-byname-implicit:ws",
+    "cat=other-match-analysis:ws",
+    "any:e"
+  ).mkString(",")
+}) ++ Seq("-Ypatmat-exhaust-depth", "off")
 
 def commonSettings(projectName: String): Seq[sbt.Def.Setting[_]] = Seq(
   name := projectName,

nix/overlay.nix

@@ -14,7 +14,7 @@ rev: final: prev: {
   # ourselves instead.
   mantis-extvm-pb = builtins.fetchGit {
     url = "https://github.com/input-output-hk/mantis-extvm-pb";
-    rev = "53eb31f3c59f7200994915b834e626bd292df7ed";
+    rev = "8f52caba70afc95ce669e9d61f773468db54557e";
   };
 
   writeBashChecked = final.writers.makeScriptWriter {