Merge pull request #3029 from tautschnig/size_t1

ireps_on_writet keys are std::size_t

Author: tautschnig

src/util/irep_serialization.h

@@ -35,7 +35,7 @@ class irep_serializationt
     ireps_on_readt ireps_on_read;
 
     irep_full_hash_containert irep_full_hash_container;
-    typedef std::map<unsigned, size_t> ireps_on_writet;
+    typedef std::map<std::size_t, std::size_t> ireps_on_writet;
     ireps_on_writet ireps_on_write;
 
     typedef std::vector<bool> string_mapt;