From c2e2ac911e453ffbc6bd85c709f86ccfd755d29d Mon Sep 17 00:00:00 2001
From: Nisarg Patel <nrp364@nyu.edu>
Date: Sun, 12 May 2024 02:27:52 -0400
Subject: [PATCH] minor

---
 test/concurrent/templates/flows_ra.rav | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/concurrent/templates/flows_ra.rav b/test/concurrent/templates/flows_ra.rav
index 4804882..cfe305e 100644
--- a/test/concurrent/templates/flows_ra.rav
+++ b/test/concurrent/templates/flows_ra.rav
@@ -49,7 +49,7 @@ interface CCM : Type {
 
 }
 
-interface FlowsRA[M: CCM] : CancellativeResourceAlgebra {
+module FlowsRA[M: CCM] : CancellativeResourceAlgebra {
   rep type T = data {
     case int(inf: Map[Ref, M], out: Map[Ref, M], dom: Set[Ref])
     case top