Remove temporary kprove shim script (#2579)

runtimeverification · May 10, 2022 · 677980a · 677980a
1 parent 40b48d3
commit 677980a
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/k-distribution/src/main/scripts/bin/kprove b/k-distribution/src/main/scripts/bin/kprove