From ed8b04888321d3374122e90da5cf0ae4f54628c1 Mon Sep 17 00:00:00 2001 From: Laxman Dhulipala Date: Tue, 2 May 2023 22:56:26 +0000 Subject: [PATCH] update parlay --- external/parlaylib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/parlaylib b/external/parlaylib index 843b6187..6b4a4cdb 160000 --- a/external/parlaylib +++ b/external/parlaylib @@ -1 +1 @@ -Subproject commit 843b61875dc7ed58f59c78d3955826b6d611e6bc +Subproject commit 6b4a4cdbfeb3c481608a42db0230eb6ebb87bf8d