From 7ab904bfc61a6ee38d95d3d8c48a8dbfbaf52559 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Tue, 23 Aug 2022 14:39:44 +0100 Subject: [PATCH] remove spurious file --- src/smt/.#smt_justification.h | 1 - 1 file changed, 1 deletion(-) delete mode 100644 src/smt/.#smt_justification.h diff --git a/src/smt/.#smt_justification.h b/src/smt/.#smt_justification.h deleted file mode 100644 index 0852723f4..000000000 --- a/src/smt/.#smt_justification.h +++ /dev/null @@ -1 +0,0 @@ -nbjorner@DESKTOP-7DPTQP8.49008:1659539981 \ No newline at end of file