minor

NeuralNetworkVerification · Nov 26, 2023 · b857524 · b857524
1 parent a93f8d5
commit b857524
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/engine/PiecewiseLinearConstraint.h b/src/engine/PiecewiseLinearConstraint.h
@@ -457,9 +457,8 @@ class PiecewiseLinearConstraint : public ITableau::VariableWatcher
       Add a variable to the list of aux vars designated in the Tableau
       second argument is used for MaxConstraints
     */
-    virtual void addTableauAuxVar( unsigned tableauAuxVar, unsigned constraintAuxVar )
+    virtual void addTableauAuxVar( unsigned tableauAuxVar, unsigned /* constraintAuxVar */ )
     {
-        ASSERT ( constraintAuxVar < tableauAuxVar );
         _tableauAuxVars.append( tableauAuxVar );
     }