mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-23 14:23:40 +00:00
Code Activity

Remove typename from member declarations in bv_fixed class

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-08-31 17:40:49 -07:00
parent 6b66e81897
commit 39eaf62040
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/ast/sls/sls_bv_fixed.h
View file

@ -28,8 +28,8 @@ namespace sls {
class bv_eval; class bv_eval;
class bv_fixed { class bv_fixed {
typename bv_eval& ev; bv_eval& ev;
typename bv_terms& terms; bv_terms& terms;
ast_manager& m; ast_manager& m;
bv_util& bv; bv_util& bv;
sls::context& ctx; sls::context& ctx;