From da38074890ba94f2206bf23fc8a9dc2dbed16502 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Tue, 7 Jan 2020 20:01:43 +0100
Subject: [PATCH] Update dhall-genode

This is to pull in Init.toStart.
---
 dhall/genode.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dhall/genode.nix b/dhall/genode.nix
index 59e5f96..a8a5173 100644
--- a/dhall/genode.nix
+++ b/dhall/genode.nix
@@ -6,6 +6,6 @@
 
 fetchgit {
   url = "https://git.sr.ht/~ehmry/dhall-genode";
-  rev = "c9a9c18dc8dd45198dbf0a53732ca02079fee0fd";
-  sha256 = "1fcfyfcnm6snpagf3ii70p8vdy7na9lv6c3izlckyp6gvgadyyjn";
+  rev = "c0e952dc7ba9b3bc557f151da70e3766c3a08bf7";
+  sha256 = "1r34m9vgizr6gd76kahnxvkmx00j6ff16856znpi9pqaqziw8fiz";
 }