From b07cbf2acf649de95f739ad8b267c10e61e11ab2 Mon Sep 17 00:00:00 2001 From: Anthony Floeder Date: Wed, 21 Aug 2024 14:37:09 -0500 Subject: [PATCH] update submodule Signed-off-by: Anthony Floeder --- external/nnf-dm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/nnf-dm b/external/nnf-dm index e0c318c..45a98ea 160000 --- a/external/nnf-dm +++ b/external/nnf-dm @@ -1 +1 @@ -Subproject commit e0c318ca1d61325da1d6677a55de432043a8c1e8 +Subproject commit 45a98ea47bf84c0d2e1c2408f600557764c27fc2