1 files changed, 1 insertions, 1 deletions
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}