From 38c522dcd78c7b62ad2017ee1eaff864e377e299 Mon Sep 17 00:00:00 2001
From: Antonio Nikishaev
Date: Fri, 1 May 2020 04:55:32 +0400
Subject: do not re-export ListNotations from Program: vst overlay

---
 dev/ci/user-overlays/11992-lelf-no-reexports.sh | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dev')

diff --git a/dev/ci/user-overlays/11992-lelf-no-reexports.sh b/dev/ci/user-overlays/11992-lelf-no-reexports.sh
index f929ff99ed..97813388f6 100644
--- a/dev/ci/user-overlays/11992-lelf-no-reexports.sh
+++ b/dev/ci/user-overlays/11992-lelf-no-reexports.sh
@@ -18,4 +18,7 @@ if [ "$CI_PULL_REQUEST" = "11992" ] || [ "$CI_BRANCH" = "no-reexports" ] || [ "$
     fiat_parsers_CI_REF=no-reexports
     fiat_parsers_CI_GITURL=https://github.com/llelf/fiat
 
+    vst_CI_REF=no-reexports
+    vst_CI_GITURL=https://github.com/llelf/VST
+
 fi
-- 
cgit v1.2.3