From fdbeaaa30b49097136c8794f6e53c72969cfa463 Mon Sep 17 00:00:00 2001
From: Yingjie Wang <phywyj@gmail.com>
Date: Fri, 10 Apr 2026 00:23:41 -0400
Subject: [PATCH] update: auto commit

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

diff --git a/report.tex b/report.tex
index d594e3f..c51ae34 100644
--- a/report.tex
+++ b/report.tex
@@ -345,7 +345,7 @@
     \end{figure}
   \end{frame}
 
-    \begin{frame}{Searching for a first order Z4c}{Why not existing first order formulations}
+    \begin{frame}{Why not existing first order formulations?}
     \begin{itemize}
       \item GH
       \begin{itemize}