Fixed problem with registering bitvector functions#5923

Merged

NikolajBjorner merged 1 commit intoZ3Prover:masterfrom

CEisenhofer:master

Mar 27, 2022

Commits on Mar 25, 2022

Fixed problem with registering bitvector functions
CEisenhofer
committed