From eb7bf0093cc64e4057bf382178d5c83deb9ca415 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Thu, 2 Jan 2014 17:22:53 +0100 Subject: [PATCH] We changed something --- Model/model.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Model/model.xml b/Model/model.xml index fc079b7..09861c5 100644 --- a/Model/model.xml +++ b/Model/model.xml @@ -88,5 +88,5 @@ Network4 = Network(0); Host1Handshake = Host_Handshake(1,2,0); Host2Handshake = Host_Handshake(2,1,0); -system Network1, Network2, Network3,Host1Handshake,Host2Handshake; +system Network1, Network2, Network3, Network4, Host1Handshake,Host2Handshake; \ No newline at end of file