From d37414510b99badfe75c895b2ac5f46ce80f067b Mon Sep 17 00:00:00 2001
From: Xuan Son Nguyen <son@huggingface.co>
Date: Sun, 21 Jun 2026 13:15:58 +0200
Subject: [PATCH] address comments

---
 tools/server/server-context.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/server/server-context.cpp b/tools/server/server-context.cpp
index a0d78a5dae..94ea36b781 100644
--- a/tools/server/server-context.cpp
+++ b/tools/server/server-context.cpp
@@ -136,8 +136,9 @@ struct server_batch {
         batch_rendered = true;
     }
 
-    llama_batch get_view(int32_t off, int32_t n_tokens) {
+    llama_batch get_view(int32_t off, int32_t n_tokens) const {
         GGML_ASSERT(batch.token != nullptr);
+        GGML_ASSERT(batch_rendered);
         GGML_ASSERT(off >= 0 && off < size());
         GGML_ASSERT(n_tokens > 0 && off + n_tokens <= size());