From 95d248c5488ed19694182417111728bdd5a94e3d Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sun, 23 Feb 2020 13:38:18 +0100
Subject: [PATCH] networks, generic: Make all set/c arguments 'dont-care.

---
 generic.rkt  | 2 +-
 networks.rkt | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic.rkt b/generic.rkt
index 15bdbe5..f15d662 100644
--- a/generic.rkt
+++ b/generic.rkt
@@ -12,7 +12,7 @@
  gen:dds
  ;; Functions
  (contract-out [dds-step-one (-> dds? any/c (set/c any/c))]
-               [dds-step (-> dds? (set/c any/c) (set/c any/c))])
+               [dds-step (-> dds? (set/c any/c #:kind 'dont-care) (set/c any/c))])
  ;; Predicates
  (contract-out [dds? (-> any/c boolean?)]))
 
diff --git a/networks.rkt b/networks.rkt
index 02e7b90..8d0bc8d 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -37,7 +37,7 @@
                [make-asyn-dynamics (-> network? dynamics?)]
                [make-syn-dynamics (-> network? dynamics?)]
                [dds-step-one (-> dynamics? state? (set/c state?))]
-               [dds-step (-> dynamics? (set/c state?) (set/c state?))])
+               [dds-step (-> dynamics? (set/c state? #:kind 'dont-care) (set/c state?))])
  ;; Predicates
  (contract-out [variable? (-> any/c boolean?)]
                [state? (-> any/c boolean?)]