From 74f40b749fe9cdbc4749ef92d70e3a2c9b2a7e87 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Wed, 9 Oct 2024 16:07:43 +0200
Subject: [PATCH] refactor: remove unnecessary ghost variable assignment

---
 certora/specs/Health.spec | 1 -
 1 file changed, 1 deletion(-)

diff --git a/certora/specs/Health.spec b/certora/specs/Health.spec
index 6f2d395e..cb764b01 100644
--- 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);