From 3732d4897efe3a80e884577b252d35516d355aab Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sun, 1 Mar 2020 19:24:32 +0100
Subject: [PATCH] rs,list-enabled: Made the type signature more explicit.

---
 rs.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rs.rkt b/rs.rkt
index a9af363..6bf4e32 100644
--- a/rs.rkt
+++ b/rs.rkt
@@ -37,7 +37,7 @@
 (define-type ReactionSystem (HashTable Symbol reaction))
 
 ;;; Returns the list of reaction names enabled on a given set.
-(: list-enabled (-> ReactionSystem (Setof Symbol) (Listof Symbol)))
+(: list-enabled (-> ReactionSystem (Setof Species) (Listof Symbol)))
 (define (list-enabled rs s)
   (for/list ([(name reaction) (in-hash rs)]
              #:when (enabled? reaction s))