From 72bc8d5656230ebf9f3b20517edc1df8ca249933 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 3 Jun 2020 12:23:40 +0100
Subject: Add keywords

---
 main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'main.tex')

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
-- 
cgit 

