From 5c37621af52cc99d110138c4a0e2d27ad4eb1494 Mon Sep 17 00:00:00 2001 From: ouni <ouni@lipn.univ-paris13.fr> Date: Mon, 8 Apr 2019 16:27:45 +0200 Subject: [PATCH] correct version of sylvan --- third-party/sylvan | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/third-party/sylvan b/third-party/sylvan index 895f8c9..685e2cd 160000 --- a/third-party/sylvan +++ b/third-party/sylvan @@ -1 +1 @@ -Subproject commit 895f8c9434f0adb512b80db4581c03a7e783f2ea +Subproject commit 685e2cd0e2033bf33361a21efc2aa8f7b0183334 -- GitLab