diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll index a570b7ba563..7d49e0b27d1 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll @@ -569,19 +569,6 @@ module Ssa { override string toString() { result = SsaImpl::ParameterDefinitionImpl.super.toString() } } - /** - * An SSA definition representing the default value of a parameter. - */ - class ParameterDefaultDefinition extends ExplicitDefinition { - private Parameter p; - override AssignableDefinitions::ParameterDefaultDefinition ad; - - ParameterDefaultDefinition() { p = ad.getParameter() } - - /** Gets the parameter that this entry definition represents. */ - Parameter getParameter() { result = p } - } - /** * An SSA definition representing the potential definition of a variable * via a call.