From cd960912fc526bcca77108f7a9756cd48de0476f Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 19 Apr 2022 09:51:33 +0100
Subject: Add changes

---
 chapters/hls.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'chapters/hls.tex')

diff --git a/chapters/hls.tex b/chapters/hls.tex
index fafb815..1276450 100644
--- a/chapters/hls.tex
+++ b/chapters/hls.tex
@@ -11,8 +11,8 @@
 
 \startsynopsis
   This chapter outlines the base implementation of a formally verified high-level synthesis tool
-  called Vericert~\citef{herklotz21_veric}.  This chapter is based on a paper describing the initial
-  implementation in detail~\citef{herklotz21_formal_verif_high_level_synth}.
+  called Vericert.  This chapter is based on a paper describing the initial implementation in
+  detail~\citef{herklotz21_formal_verif_high_level_synth}.
 \stopsynopsis
 
 We have designed a new HLS tool in the Coq theorem prover and proved that any output design it
-- 
cgit 

