From 6e75446ac30e5af00a9e3c97a0ad2e37154d973c Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Fri, 1 Mar 2024 20:30:07 +0100
Subject: [PATCH] comment out unused code

---
 src/BackwardAlgorithms/backward_default.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/BackwardAlgorithms/backward_default.jl b/src/BackwardAlgorithms/backward_default.jl
index 4ffac29..95df52c 100644
--- a/src/BackwardAlgorithms/backward_default.jl
+++ b/src/BackwardAlgorithms/backward_default.jl
@@ -27,9 +27,9 @@ end
 remove_constraints!(::LazySet) = nothing
 
 function remove_constraints!(P::LazySets.HPoly)
-    m1 = length(P.constraints)
+    # m1 = length(P.constraints)
     remove_redundant_constraints!(P)
-    m2 = length(P.constraints)
+    # m2 = length(P.constraints)
     # println("$(m1 - m2)/$m1 constraints removed")
     return nothing
 end