From 598904fecda684e2062daf9c932690c9b1305b88 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sun, 23 Feb 2020 12:27:59 +0100
Subject: [PATCH] networks: Fix an extra newline in provides.

---
 networks.rkt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/networks.rkt b/networks.rkt
index 964c133..1032bcb 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -36,8 +36,7 @@
                [make-dynamics-from-func (-> network? (-> (listof variable?) mode?) dynamics?)]
                [make-asyn-dynamics (-> network? dynamics?)]
                [make-syn-dynamics (-> network? dynamics?)]
-               [dds-step-one (-> dynamics? state? (set/c state?))]
-               )
+               [dds-step-one (-> dynamics? state? (set/c state?))])
  ;; Predicates
  (contract-out [variable? (-> any/c boolean?)]
                [state? (-> any/c boolean?)]