From ebb5afe914994c3489b87a144c85943a4715d66d Mon Sep 17 00:00:00 2001
From: Pierre Tachoire <pierre@tch.re>
Date: Tue, 17 Oct 2023 11:49:53 +0200
Subject: [PATCH] wpt: remove useless alias

---
 src/main_wpt.zig | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/main_wpt.zig b/src/main_wpt.zig
index f55d02bb..457f4b0f 100644
--- a/src/main_wpt.zig
+++ b/src/main_wpt.zig
@@ -3,10 +3,9 @@ const std = @import("std");
 const parser = @import("netsurf.zig");
 const jsruntime = @import("jsruntime");
 
-const public = @import("jsruntime");
-const TPL = public.TPL;
-const Env = public.Env;
-const Loop = public.Loop;
+const TPL = jsruntime.TPL;
+const Env = jsruntime.Env;
+const Loop = jsruntime.Loop;
 
 const DOM = @import("dom.zig");
 const HTMLElem = @import("html/elements.zig");