remove unused file

Z3Prover · Aug 25, 2020 · a7b51d0 · a7b51d0
1 parent 22aee4d
commit a7b51d0
Showing 1 changed file with 0 additions and 35 deletions.
diff --git a/src/util/pop_scopes.h b/src/util/pop_scopes.h