diff --git a/src/smt/.#smt_justification.h b/src/smt/.#smt_justification.h
deleted file mode 100644
index 0852723f495..00000000000
--- a/src/smt/.#smt_justification.h
+++ /dev/null
@@ -1 +0,0 @@
-nbjorner@DESKTOP-7DPTQP8.49008:1659539981
\ No newline at end of file