refactor: remove unnecessary ghost variable assignment

morpho-org · Oct 9, 2024 · 74f40b7 · 74f40b7
1 parent fcb190b
commit 74f40b7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/certora/specs/Health.spec b/certora/specs/Health.spec
@@ -67,7 +67,6 @@ filtered { f -> !f.isView }
 
     mathint collateralBefore = collateral(id, user);
 
-    priceChanged = false;
     f(e, data);
 
     mathint collateralAfter = collateral(id, user);