From 4c6ac2c39f6c101d944b502c00f360f88c569673 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20K=C3=B6fferlein?= <matthias@koefferlein.de>
Date: Mon, 21 Jan 2019 00:29:52 +0100
Subject: [PATCH] Updated Deep Verification Base (markdown)

---
 Deep-Verification-Base.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Deep-Verification-Base.md b/Deep-Verification-Base.md
index 01a6500..c91ed65 100644
--- a/Deep-Verification-Base.md
+++ b/Deep-Verification-Base.md
@@ -3,7 +3,7 @@ The Deep Verification Base development happens in the "dvb" branch: https://gith
 Updates:
 * [[2018-12-31 First functional implementation of a netlist extractor|2018-12-31]]
 * [[2019-01-07 Stable implemenation + performance improvements, additional functionality|2019-01-07]]
-* [[2019-01-19 Persistency and some reworks|2019-01-19]]
+* [[2019-01-19 Persistence and some reworks|2019-01-19]]
 
 # The problem