From a227ce5aaee9a18f2e88c54a42a0f1a2fdd89659 Mon Sep 17 00:00:00 2001
From: Michael Fellinger <michael.fellinger@iohk.io>
Date: Fri, 9 Apr 2021 12:44:29 +0200
Subject: [PATCH] update pb submodule rev

---
 nix/overlay.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/overlay.nix b/nix/overlay.nix
index 2aa1e608fe..b2f68d8bb9 100644
--- a/nix/overlay.nix
+++ b/nix/overlay.nix
@@ -20,7 +20,7 @@ inputs: final: prev: {
   # ourselves instead.
   mantis-extvm-pb = builtins.fetchGit {
     url = "https://github.com/input-output-hk/mantis-extvm-pb";
-    rev = "6b3039be92882df6ef6c15887c8d0b5f10c86d6f";
+    rev = "53eb31f3c59f7200994915b834e626bd292df7ed";
   };
 
   mantisPkgs = final.callPackage ./pkgs/mantis { src = ../.; };