diff options
| author | Emilio Jesus Gallego Arias | 2020-04-28 18:33:00 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-28 18:33:00 +0200 |
| commit | 16559843925f3489b61920ff398680f10f1f00cc (patch) | |
| tree | 2b2edeef6c6e5256e445e7945806ae066c7a3dda /test-suite | |
| parent | 196b5e0d10db966529b3bd1d27014a9742c71d7c (diff) | |
| parent | 17a5e95cd38206d82a1ff83c1d155a9a26729495 (diff) | |
Merge PR #12164: Stop relying on side-effects for recursive scheme declaration
Reviewed-by: ejgallego
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/success/Scheme.v | 2 |
1 files changed, 1 insertions, 1 deletions
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. |