From fa753bc716fca895434357ff12b454869c87c11d Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 21 Sep 2021 10:46:33 +0100
Subject: Remove Functional Verification concept

---
 main.tex      | 5 -----
 submitted.txt | 1 +
 2 files changed, 1 insertion(+), 5 deletions(-)
 create mode 100644 submitted.txt

diff --git a/main.tex b/main.tex
index 9c010e0..be955fa 100644
--- a/main.tex
+++ b/main.tex
@@ -137,11 +137,6 @@
        <concept_desc>Hardware~High-level and register-transfer level synthesis</concept_desc>
        <concept_significance>500</concept_significance>
        </concept>
-   <concept>
-       <concept_id>10010583.10010717.10010721</concept_id>
-       <concept_desc>Hardware~Functional verification</concept_desc>
-       <concept_significance>300</concept_significance>
-       </concept>
    <concept>
        <concept_id>10011007.10011074.10011099.10011692</concept_id>
        <concept_desc>Software and its engineering~Formal software verification</concept_desc>
diff --git a/submitted.txt b/submitted.txt
new file mode 100644
index 0000000..62f16d1
--- /dev/null
+++ b/submitted.txt
@@ -0,0 +1 @@
+4386184c78d5a0d2c473904b2fc5c898a9c63527c97fe19fd05363dd7d585025  main.pdf
-- 
cgit