From 1b3106f4e9dcd275a9c9f78fc49f4bffe897cbcd Mon Sep 17 00:00:00 2001
From: Katja Goltsova <katja.goltsova@protonmail.com>
Date: Wed, 24 Aug 2022 12:42:56 +0200
Subject: [PATCH] Run scalafix on Peano
---
src/main/scala/lisa/proven/mathematics/Peano.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/lisa/proven/mathematics/Peano.scala b/src/main/scala/lisa/proven/mathematics/Peano.scala
index 491e7a9e..78b3244e 100644
--- a/src/main/scala/lisa/proven/mathematics/Peano.scala
+++ b/src/main/scala/lisa/proven/mathematics/Peano.scala
@@ -6,7 +6,7 @@ import lisa.kernel.proof.SCProof
import lisa.kernel.proof.SequentCalculus.*
import lisa.proven.PeanoArithmeticsLibrary
import lisa.proven.tactics.ProofTactics.*
-import lisa.utils.Helpers.{*, given}
+import lisa.utils.Helpers.{_, given}
import lisa.utils.Library
import lisa.utils.Printer
--
GitLab