Make DataFlowType a singleton (remove workaround)

This commit is contained in:
Owen Mansel-Chan
2024-06-24 13:43:10 +01:00
parent f04a85e121
commit d8df38c683

View File

@@ -247,9 +247,7 @@ predicate neverSkipInPathGraph(Node n) {
class DataFlowExpr = Expr;
private newtype TDataFlowType =
TTodoDataFlowType() or
TTodoDataFlowType2() // Add a dummy value to prevent bad functionality-induced joins arising from a type of size 1.
private newtype TDataFlowType = TTodoDataFlowType()
class DataFlowType extends TDataFlowType {
/** Gets a textual representation of this element. */