From ac7ce12a9ddf69fb3cba48099ac097d39102f44b Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Mon, 2 Mar 2020 12:12:57 +0100 Subject: [PATCH] networks: Remove a custom definition of dds-step-one. This method now falls back to dds-step-one-annotated. --- networks.rkt | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/networks.rkt b/networks.rkt index fc78008..364db94 100644 --- a/networks.rkt +++ b/networks.rkt @@ -302,11 +302,7 @@ ;;; A network dynamics is a network plus a mode. (struct dynamics (network mode) #:methods gen:dds - [(define/match (dds-step-one dyn s) - [((dynamics network mode) s) - (for/set ([m mode]) (update network s m))]) - - ;; Annotates each result state with the modality which lead to it. + [;; Annotates each result state with the modality which lead to it. (define/match (dds-step-one-annotated dyn s) [((dynamics network mode) s) (for/set ([m mode]) (cons m (update network s m)))])])