summaryrefslogtreecommitdiffstats
path: root/main.tex
diff options
context:
space:
mode:
Diffstat (limited to 'main.tex')
-rw-r--r--main.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/main.tex b/main.tex
index e6b62d2..2862f13 100644
--- a/main.tex
+++ b/main.tex
@@ -10,7 +10,7 @@
\usepackage{graphicx}
\usepackage{siunitx}
\usepackage{minted}
-\setminted{baselinestretch=1, numbersep=5pt, xleftmargin=9pt, linenos}
+\setminted{baselinestretch=1, numbersep=5pt, xleftmargin=9pt, linenos, fontsize=\small}
\usepackage{amsthm}
\usepackage{pgfplots}
\usepackage{tikz}
@@ -40,7 +40,7 @@
\begin{document}
-\title{Fuzzing High-Level Synthesis Tools}
+\title{An Empirical Study of the Reliability \\ of High-Level Synthesis Tools}
\ifBLIND
\author{Blind review}