From 5ba8d98c98ca17b543f212486a5a4e2e7b91ca84 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymh15@ic.ac.uk>
Date: Sun, 1 Aug 2021 17:33:16 +0000
Subject: Update on Overleaf.

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

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 736730f..6006be6 100644
--- a/main.tex
+++ b/main.tex
@@ -103,7 +103,7 @@
 
 \begin{document}
 
-\title[Formal Verification of HLS]{Formal Verification of High-Level Synthesis RANDOM}
+\title[Formal Verification of HLS]{Formal Verification of High-Level Synthesis}
 
 %% Author with single affiliation.
 \author{Yann Herklotz}
-- 
cgit 

