From 4f3eef0ba350828e2a236b819ec2dae5eadc92c4 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Mon, 9 Nov 2020 23:24:43 +0100
Subject: [PATCH] rs: Fix the comment of build-interactive-process-graph.

It doesn't pad the context sequence with empty contexts any more.
---
 rs.rkt | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/rs.rkt b/rs.rkt
index 4d412f7..30e0a2d 100644
--- a/rs.rkt
+++ b/rs.rkt
@@ -205,9 +205,7 @@
        [(state res '()) (set)]))])
 
 ;;; Builds the state graph of a reaction system driven by a given
-;;; context sequence.  When the context sequence is exhausted, keeps
-;;; running the system without contexts.  In other words, the context
-;;; sequence is padded with empty contexts at the end.
+;;; context sequence.
 (define (build-interactive-process-graph rs contexts)
   (dds-build-state-graph-annotated (dynamics rs)
                                    (set (state (set) contexts))))