From 4c202de81f3be90021fe3caa91b18843a0ef99ed Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Thu, 25 Apr 2024 13:51:03 +0200
Subject: [PATCH] fix: parsing of ternary

---
 certora/specs/LibSummary.spec | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/certora/specs/LibSummary.spec b/certora/specs/LibSummary.spec
index 1790a22f..08b7b1e0 100644
--- a/certora/specs/LibSummary.spec
+++ b/certora/specs/LibSummary.spec
@@ -27,5 +27,6 @@ rule checkSummaryId(MorphoHarness.MarketParams marketParams) {
 }
 
 rule checkSummaryMin(uint256 x, uint256 y) {
-    assert libMin(x, y) == x < y ? x : y;
+    uint256 summaryMin = x < y ? x : y;
+    assert libMin(x, y) == summaryMin;
 }