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)))])])