remove spurious file

Z3Prover · Aug 23, 2022 · 7ab904b · 7ab904b
1 parent 0eea021
commit 7ab904b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/smt/.#smt_justification.h b/src/smt/.#smt_justification.h