From 9682049df5e91d1aad0bd203d8d8d7751f1345d8 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sat, 21 Mar 2020 19:18:45 +0100
Subject: [PATCH] networks: Remove network/c.

I've never used it.
---
 networks.rkt | 2 --
 1 file changed, 2 deletions(-)

diff --git a/networks.rkt b/networks.rkt
index 0a4989f..1221a69 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -78,7 +78,6 @@
                [mode? (-> any/c boolean?)])
  ;; Contracts
  (contract-out [state/c contract?]
-               [network/c contract?]
                [update-function/c contract?]
                [domain-mapping/c contract?])
  ;; Syntax
@@ -102,7 +101,6 @@
 
 ;;; A network is a mapping from its variables to its update functions.
 (define network? variable-mapping?)
-(define network/c (flat-named-contract 'network network?))
 
 ;;; Given a state s updates all the variables from xs.  This
 ;;; corresponds to a parallel mode.