From 077437f37e77d13a28ffabbf9be0330f88055ba6 Mon Sep 17 00:00:00 2001
From: Ranjit Jhala <rjhala@ucsd.edu>
Date: Mon, 30 Sep 2024 14:21:29 -0700
Subject: [PATCH] change query-server-url

---
 templates/preamble.lhs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/templates/preamble.lhs b/templates/preamble.lhs
index 2711174b2..839c6e896 100644
--- a/templates/preamble.lhs
+++ b/templates/preamble.lhs
@@ -8,7 +8,7 @@ toc:            true
 bibliography:   sw.bib
 notitle:        true
 root:           "."
-liquidserver:   "https://liquidhaskell.goto.ucsd.edu/index.html"
+liquidserver:   "https://liquidhaskell.goto.ucsd.edu/"
 pdflink:        "book.pdf"
 version:        13
 ---