diff --git a/passes/opt/opt_dff.cc b/passes/opt/opt_dff.cc index a15e018a6..21fa418a0 100644 --- a/passes/opt/opt_dff.cc +++ b/passes/opt/opt_dff.cc @@ -944,7 +944,6 @@ struct OptDffWorker std::vector targets; // non-const inputs (D, AD), must be shown to be eq Status status = Pending; - int q_lit = -1; // valid within the current batch int differ_lit = -1; // some target differs from the candidate value };