remove tag_typet() constructor, which produces an incomplete object

Daniel Kroening · Daniel Kroening · commit 72f63f383cc1 · 2018-05-29T17:34:00.000+01:00
diff --git a/src/util/std_types.h b/src/util/std_types.h
@@ -488,10 +488,6 @@ inline union_typet &to_union_type(typet &type)
 class tag_typet:public typet
 {
 public:
-  explicit tag_typet(const irep_idt &_id):typet(_id)
-  {
-  }
-
   explicit tag_typet(
     const irep_idt &_id,
     const irep_idt &identifier):typet(_id)
