Mark bv_encodingt final

thomasspriggs · thomasspriggs · commit 59169c0aef94 · 2020-08-03T14:09:44.000+01:00
Because it isn't part of a class heirarchy.
diff --git a/src/util/bv_encoding.h b/src/util/bv_encoding.h
@@ -11,7 +11,7 @@ Author: Diffblue Ltd
 
 #include <cstddef>
 
-struct bv_encodingt
+struct bv_encodingt final
 {
   // number of bits to encode heap object addresses
   std::size_t object_bits;

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ Author: Diffblue Ltd`
`11`	`11`
`12`	`12`	`#include <cstddef>`
`13`	`13`
`14`		`-struct bv_encodingt`
	`14`	`+struct bv_encodingt final`
`15`	`15`	`{`
`16`	`16`	`// number of bits to encode heap object addresses`
`17`	`17`	`std::size_t object_bits;`