From 39eaf62040498d51c93a03a22907510a0c8992db Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 31 Aug 2024 17:40:49 -0700
Subject: [PATCH] Remove typename from member declarations in bv_fixed class

---
 src/ast/sls/sls_bv_fixed.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ast/sls/sls_bv_fixed.h b/src/ast/sls/sls_bv_fixed.h
index cc1c1597a..9b7246e93 100644
--- a/src/ast/sls/sls_bv_fixed.h
+++ b/src/ast/sls/sls_bv_fixed.h
@@ -28,8 +28,8 @@ namespace sls {
     class bv_eval;
     
     class bv_fixed {
-        typename bv_eval&           ev;
-        typename bv_terms&          terms;
+        bv_eval&           ev;
+        bv_terms&          terms;
         ast_manager&        m;
         bv_util&            bv;
         sls::context&       ctx;