remove deprecated API functionality ยท Z3Prover/z3@bea68cd
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com></nbjorner@microsoft.com>
github.com