From b8575240c34693792f76288290090c27713269a8 Mon Sep 17 00:00:00 2001
From: omriisack <39183763+omriisack@users.noreply.github.com>
Date: Sun, 26 Nov 2023 15:31:56 +0200
Subject: [PATCH] minor

---
 src/engine/PiecewiseLinearConstraint.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/engine/PiecewiseLinearConstraint.h b/src/engine/PiecewiseLinearConstraint.h
index a0c0eba75..61f7884d6 100644
--- 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 );
     }