Changed name of smt file

viperproject · Aug 31, 2023 · 7147177 · 7147177
1 parent 294c913
commit 7147177
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/smt-problems/small_forall_example copy.smt2 → smt-problems/small_forall_example_2.smt2 b/smt-problems/small_forall_example copy.smt2 → smt-problems/small_forall_example_2.smt2