From 2fbef020a3be0a6049c133dae749e2d085f36643 Mon Sep 17 00:00:00 2001
From: Gregor Reitzenstein <me@dequbed.space>
Date: Wed, 16 Dec 2020 12:01:22 +0100
Subject: [PATCH] Fix config

---
 examples/bffh.dhall | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/bffh.dhall b/examples/bffh.dhall
index b2ffb40..1c483b0 100644
--- a/examples/bffh.dhall
+++ b/examples/bffh.dhall
@@ -1,10 +1,10 @@
 { actor_connections = [{ _1 = "Testmachine", _2 = "Actor" }]
 , actors = 
-  { Actor = { name = "Shelly", params = {=} }
+  { Actor = { module = "Shelly", params = {=} }
   }
 , init_connections = [{ _1 = "Initiator", _2 = "Testmachine" }]
 , initiators = 
-  { Initiator = { name = "TCP-Listen", params = {=} } 
+  { Initiator = { module = "Dummy", params = {=} } 
   }
 , listens = [{ address = "localhost", port = Some 59661 }]
 , machines =