diff --git a/src/solvers/floatbv/float_bv.h b/src/solvers/floatbv/float_bv.h
index 0beb935013b..0fa36ef127f 100644
--- a/src/solvers/floatbv/float_bv.h
+++ b/src/solvers/floatbv/float_bv.h
@@ -18,14 +18,6 @@ Author: Daniel Kroening, kroening@kroening.com
 class float_bvt
 {
 public:
-  float_bvt()
-  {
-  }
-
-  ~float_bvt()
-  {
-  }
-
   exprt operator()(const exprt &src)
   {
     return convert(src);
@@ -101,7 +93,7 @@ class float_bvt
     const exprt &,
     const ieee_float_spect &);
 
-protected:
+private:
   // helpers
   ieee_float_spect get_spec(const exprt &);
   // still biased
@@ -116,7 +108,6 @@ class float_bvt
 
   struct rounding_mode_bitst
   {
-  public:
     // these are mutually exclusive, obviously
     exprt round_to_even;
     exprt round_to_zero;
@@ -168,7 +159,7 @@ class float_bvt
   biased_floatt bias(const unbiased_floatt &, const ieee_float_spect &);
 
   // this takes unpacked format, and returns packed
-  virtual exprt rounder(
+  exprt rounder(
     const unbiased_floatt &,
     const exprt &rm,
     const ieee_float_spect &);