fix: orphan module

algebraic-dev · algebraic-dev · commit 0d3c00a10042 · 2026-01-24T21:04:19.000-03:00
diff --git a/src/Std/Internal/Http.lean b/src/Std/Internal/Http.lean
@@ -7,3 +7,4 @@ module
 
 prelude
 public import Std.Internal.Http.Data
+public import Std.Internal.Http.Protocol.H1

Original file line number	Diff line number	Diff line change
`@@ -7,3 +7,4 @@ module`
`7`	`7`
`8`	`8`	`prelude`
`9`	`9`	`public import Std.Internal.Http.Data`
	`10`	`+public import Std.Internal.Http.Protocol.H1`