Fix linting issues.

Author: martin

src/util/memory_units.cpp

@@ -1,3 +1,11 @@
+/*******************************************************************\
+
+Module: Memory units
+
+Author: Hannes Steffenhagen
+
+\*******************************************************************/
+
 #include "memory_units.h"
 
 #include <sstream>

src/util/memory_units.h

@@ -1,3 +1,11 @@
+/*******************************************************************\
+
+Module: Memory units
+
+Author: Hannes Steffenhagen
+
+\*******************************************************************/
+
 #ifndef CPROVER_UTIL_MEMORY_UNITS_H
 #define CPROVER_UTIL_MEMORY_UNITS_H
 
@@ -31,7 +39,7 @@ struct memory_sizet
 
 private:
   std::size_t bytes;
-  memory_sizet(std::size_t bytes);
+  explicit memory_sizet(std::size_t bytes);
 };
 
 #endif // CPROVER_UTIL_MEMORY_UNITS_H