comment out unused code

JuliaReach · Mar 1, 2024 · 6e75446 · 6e75446
1 parent a53b4be
commit 6e75446
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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