From cc728e5748b41750d3e53e5fba1c753e531ea63a Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Sun, 16 Jan 2022 11:54:39 +0100 Subject: [PATCH] fix order of meta eval Co-authored by: Janos Erdos --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index 3eef5936..7dc39d1a 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit 3eef5936fa5b8a4d9433582ee46ca36ab943ca5e +Subproject commit 7dc39d1a912cd44a6305430b82ef31c2af97b519