From 0580a3ffd6d522c2078d2c13c3efcaf4ac74a876 Mon Sep 17 00:00:00 2001
From: Pierre Tachoire <pierre@tch.re>
Date: Wed, 18 Oct 2023 16:35:30 +0200
Subject: [PATCH] netsurf: remove useless documentBody

---
 src/netsurf.zig | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/src/netsurf.zig b/src/netsurf.zig
index 185d4cba..03b2efb0 100644
--- a/src/netsurf.zig
+++ b/src/netsurf.zig
@@ -669,16 +669,6 @@ pub inline fn documentCreateElement(doc: *Document, tag_name: []const u8) *Eleme
     return elem.?;
 }
 
-pub inline fn documentBody(doc: *Document) ?*Body {
-    const doc_html = @as(*DocumentHTML, @ptrCast(doc));
-    var body: ?*ElementHTML = undefined;
-    _ = documentHTMLVtable(doc_html).get_body.?(doc_html, &body);
-    if (body == null) {
-        return null;
-    }
-    return @as(*Body, @ptrCast(body.?));
-}
-
 // DocumentHTML
 pub const DocumentHTML = c.dom_html_document;