fixup! typed-protocols: recursive pipelining

IntersectMBO · Sep 28, 2021 · 5baab7b · 5baab7b
1 parent 7db0e60
commit 5baab7b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/typed-protocols/src/Network/TypedProtocol/Proofs.hs b/typed-protocols/src/Network/TypedProtocol/Proofs.hs
@@ -29,6 +29,7 @@ module Network.TypedProtocol.Proofs (
 
   -- * Connect proof
   connect,
+  connectNonPipelined,
   TerminalStates(..),
 
   -- * Pipelining proofs