From 78660c73378d3d52fd2820286b8322650ca7ef1b Mon Sep 17 00:00:00 2001 From: Matt Richerson Date: Fri, 30 Aug 2024 14:14:57 -0500 Subject: [PATCH] Update submodules before release Signed-off-by: Matt Richerson --- external/nnf-dm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/nnf-dm b/external/nnf-dm index e0c318c..a8f6e90 160000 --- a/external/nnf-dm +++ b/external/nnf-dm @@ -1 +1 @@ -Subproject commit e0c318ca1d61325da1d6677a55de432043a8c1e8 +Subproject commit a8f6e90e6507b1ff46d6cd373ce07f7989619a31