From 2c04f5df480492169e533c376cc50caff863ba5a Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 21 Apr 2020 17:26:11 +0200
Subject: Stop relying on side-effects for recursive scheme declaration.

Instead, we register functions dynamically declaring the dependencies of the
scheme to be generated.

We had to fix the test-suite because an internal scheme name changed.
We could also tweak the internal flag of scheme dependencies, but in this
particular case it looks more like a bug from the previous implementation.
---
 test-suite/success/Scheme.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite')

diff --git a/test-suite/success/Scheme.v b/test-suite/success/Scheme.v
index 4b928007cf..273cb48295 100644
--- a/test-suite/success/Scheme.v
+++ b/test-suite/success/Scheme.v
@@ -18,7 +18,7 @@ Check myeq_rew.
 Check myeq_rew_dep.
 Check myeq_rew_fwd_dep.
 Check myeq_rew_r.
-Check internal_myeq_sym_involutive.
+Check myeq_sym_involutive.
 Check myeq_rew_r_dep.
 Check myeq_rew_fwd_r_dep.
 
-- 
cgit v1.2.3