From 879783b79aca5c9c0e6488a8cf0dbc4cd12c8d28 Mon Sep 17 00:00:00 2001
From: Elliott Slaughter <slaughter@cs.stanford.edu>
Date: Tue, 27 Sep 2022 15:54:31 -0700
Subject: [PATCH] Fix Regent URL.

---
 installation.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/installation.tex b/installation.tex
index 9bf5171..54f016e 100644
--- a/installation.tex
+++ b/installation.tex
@@ -21,7 +21,7 @@ \section{Regent}
 Regent is the companion programming language for Legion.  Regent provides the same
 programming model as the Legion \Cpp\ API, but with a nicer syntax, static checking
 of various requirements of Legion programs, and compile-time optimizations.
-Instructions for installing Regent are maintained at \url{http:regent-lang.org/install}.
+Instructions for installing Regent are maintained at \url{https://regent-lang.org/install}.