From 3b95870936588927dd62a63d3f4dbff7a6fb2707 Mon Sep 17 00:00:00 2001
From: Oleg <forown@yandex.ru>
Date: Tue, 10 Dec 2019 14:53:45 -0500
Subject: [PATCH] updated testsuite/bap-veri/

---
 testsuite | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/testsuite b/testsuite
index 450f1253c..20ef8b56d 160000
--- a/testsuite
+++ b/testsuite
@@ -1 +1 @@
-Subproject commit 450f1253ce2f77e213e3d9e72cadfe100edaf48b
+Subproject commit 20ef8b56d667dd502f13dea82757400a6e440272