diff options
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -74,7 +74,7 @@ \begin{document} %% Title information -\title[Formally Verified HLS]{Formally Verified High-Level Synthesis} %% [Short Title] is optional; +\title[Formally Verified HLS]{Formally Verified High-Level Synthesis} %% when present, will be used in %% header instead of Full Title. %\titlenote{with title note} %% \titlenote is optional; |