style: tag definition with reducible not simp

verified-optimization · Mar 1, 2024 · fce0b00 · fce0b00
1 parent cb56a66
commit fce0b00
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CvxLean/Examples/VehicleSpeedScheduling.lean b/CvxLean/Examples/VehicleSpeedScheduling.lean
@@ -165,7 +165,7 @@ def τminₚ : Fin nₚ → ℝ :=
 def τmaxₚ : Fin nₚ → ℝ :=
   ![4.6528, 6.5147, 7.5178, 9.7478, 9.0641, 10.3891, 13.1540, 16.0878, 17.4352, 20.9539]
 
-@[optimization_param, simp]
+@[optimization_param, reducible]
 def sminₚ : Fin nₚ → ℝ :=
   ![0.7828, 0.6235, 0.7155, 0.5340, 0.6329, 0.4259, 0.7798, 0.9604, 0.7298, 0.8405]