1 files changed, 2 insertions, 2 deletions
diff --git a/main.tex b/main.tex
index 78c2403..858e916 100644
--- a/main.tex
+++ b/main.tex
@@ -149,7 +149,7 @@
 %% Note: \begin{abstract}...\end{abstract} environment must come
 %% before \maketitle command
 \begin{abstract}
-Text of abstract \ldots.
+  We propose a formally verified HLS flow based on CompCert~\cite{leroy09_formal_verif_realis_compil}, by adding a Verilog backend which is a language used to describe hardware.
 \end{abstract}
 
 
@@ -211,7 +211,7 @@ Text of paper \ldots
 
 
 %% Bibliography
-%\bibliography{bibfile}
+\bibliography{references.bib}
 
 
 %% Appendix