From 9cd05df945de320e20605b719801d104c2a1a7e1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Tue, 5 Mar 2024 13:41:14 +0000
Subject: [PATCH] Fix formatting on main
---
rr_frontend/radium/src/specs.rs | 9 ++-------
1 file changed, 2 insertions(+), 7 deletions(-)
diff --git a/rr_frontend/radium/src/specs.rs b/rr_frontend/radium/src/specs.rs
index e1f84f5e..54fa8319 100644
--- a/rr_frontend/radium/src/specs.rs
+++ b/rr_frontend/radium/src/specs.rs
@@ -2576,13 +2576,8 @@ impl CoqParam {
}
pub fn format(&self, f: &mut Formatter, make_implicits: bool) -> fmt::Result {
- if self.implicit {
- if make_implicits {
- write!(f, "`{{{}}}", self.ty)
- }
- else {
- write!(f, "`({})", self.ty)
- }
+ if self.implicit {
+ if make_implicits { write!(f, "`{{{}}}", self.ty) } else { write!(f, "`({})", self.ty) }
} else {
write!(f, "({} : {})", self.name, self.ty)
}
--
GitLab