minor

nyu-acsys · May 12, 2024 · c2e2ac9 · c2e2ac9
1 parent 8c8fbc7
commit c2e2ac9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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