From 33d18731867b500bdb77b36cc16952f049cbd3d4 Mon Sep 17 00:00:00 2001 From: Blake Devcich Date: Tue, 22 Oct 2024 11:40:11 -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 9946da1..0f4cd5b 160000 --- a/external/nnf-dm +++ b/external/nnf-dm @@ -1 +1 @@ -Subproject commit 9946da12aeb2aff16fb4c3caaaf05d36d45efb34 +Subproject commit 0f4cd5bd180ebbb6bea151e1454139bbf35d5448