From 4441d04c4f6aedac4b055df65e4adc480ddc3d89 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 23 Feb 2021 22:12:27 +0000
Subject: New changes

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

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 67567c1..3216f74 100644
--- a/main.tex
+++ b/main.tex
@@ -270,7 +270,7 @@ The main idea used to prove the scheduling correct, is to split it up into multi
 
 \section{Conclusion}
 
-In conclusion, we have shown that a verified HLS tool can achieve similar performance to an existing, unverified HLS tool, while guaranteeing that the output is always correct.
+In conclusion, we have shown that a verified HLS tool could achieve similar performance to an existing unverified HLS tool, while guaranteeing that the output is always correct.
 
 %% Acknowledgments
 %\begin{acks}%% acks environment is optional
-- 
cgit 

