fix typo in comments for struct_tag_typet

Daniel Kroening · Daniel Kroening · commit 99e33bdcc268 · 2018-08-08T13:03:09.000+01:00
diff --git a/src/util/std_types.h b/src/util/std_types.h
@@ -553,13 +553,13 @@ class struct_tag_typet:public tag_typet
   }
 };
 
-/*! \brief Cast a generic typet to a \ref union_tag_typet
+/*! \brief Cast a generic typet to a \ref struct_tag_typet
  *
  * This is an unchecked conversion. \a type must be known to be \ref
- * union_tag_typet.
+ * struct_tag_typet.
  *
  * \param type Source type
- * \return Object of type \ref union_tag_typet
+ * \return Object of type \ref struct_tag_typet
  *
  * \ingroup gr_std_types
 */

Original file line number	Diff line number	Diff line change
`@@ -553,13 +553,13 @@ class struct_tag_typet:public tag_typet`
`553`	`553`	`}`
`554`	`554`	`};`
`555`	`555`
`556`		`-/*! \brief Cast a generic typet to a \ref union_tag_typet`
	`556`	`+/*! \brief Cast a generic typet to a \ref struct_tag_typet`
`557`	`557`	`*`
`558`	`558`	`* This is an unchecked conversion. \a type must be known to be \ref`
`559`		`- * union_tag_typet.`
	`559`	`+ * struct_tag_typet.`
`560`	`560`	`*`
`561`	`561`	`* \param type Source type`
`562`		`- * \return Object of type \ref union_tag_typet`
	`562`	`+ * \return Object of type \ref struct_tag_typet`
`563`	`563`	`*`
`564`	`564`	`* \ingroup gr_std_types`
`565`	`565`	`*/`