From fd459e878d402cf274d51538df27563456f2d524 Mon Sep 17 00:00:00 2001
From: Tej Chajed <tchajed@mit.edu>
Date: Sat, 22 Jan 2022 19:00:38 -0600
Subject: [PATCH] Bump version number in TeX docs

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

diff --git a/tex/iris.tex b/tex/iris.tex
index e6aa03d45..0895f76fb 100644
--- a/tex/iris.tex
+++ b/tex/iris.tex
@@ -14,7 +14,7 @@
 \input{setup}
 
 
-\title{\bfseries The Iris 3.6-dev Documentation}
+\title{\bfseries The Iris 3.7-dev Documentation}
 \author{\url{http://plv.mpi-sws.org/iris/}}
 
 
-- 
GitLab