From 3e4741da535a72d0feb4114836e5e35f50c41968 Mon Sep 17 00:00:00 2001 From: Blake Devcich Date: Tue, 16 Jul 2024 10:37:06 -0500 Subject: [PATCH] Update submodules Signed-off-by: Blake Devcich --- external/nnf-dm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/nnf-dm b/external/nnf-dm index e0c318c..acb8bf8 160000 --- a/external/nnf-dm +++ b/external/nnf-dm @@ -1 +1 @@ -Subproject commit e0c318ca1d61325da1d6677a55de432043a8c1e8 +Subproject commit acb8bf81636a32a892115e82c7a3f6d445e64b1e