Minor amendment

Author: JohnDumbell

cbmc/src/util/irep.cpp

@@ -696,7 +696,7 @@ std::string irept::pretty(unsigned indent, unsigned max_indent) const
 /// \param serializer: The serializer to read from/write to
 void irept::serialize(serializert &serializer)
 {
-  serializer.serialize("id", write(true).data);
+  serializer.serialize("id", write().data);
   serializer.serialize("subs", get_sub());
   serializer.serialize("named_subs", get_named_sub());
   serializer.serialize("comments", get_comments());