1 files changed, 1 insertions, 1 deletions
diff --git a/main.tex b/main.tex
index cdadd2c..9fa2217 100644
--- a/main.tex
+++ b/main.tex
@@ -69,7 +69,7 @@
 \begin{document}
 
 %% Title information
-\title[Formally Verified HLS]{Formally Verified High-Level Synthesis}
+\title[Formal Verification of HLS]{Formal Verification of High-Level Synthesis}
                                         %% when present, will be used in
                                         %% header instead of Full Title.
 %\titlenote{with title note}             %% \titlenote is optional;