1 files changed, 1 insertions, 1 deletions
diff --git a/main.tex b/main.tex
index 858e916..a321c7b 100644
--- a/main.tex
+++ b/main.tex
@@ -177,7 +177,7 @@
 
 %% Keywords
 %% comma separated list
-\keywords{keyword1, keyword2, keyword3}  %% \keywords are mandatory in final camera-ready submission
+\keywords{CompCert, Coq, high-level synthesis}  %% \keywords are mandatory in final camera-ready submission
 
 
 %% \maketitle