From 37ba62d7134bff8adf8f48020585e8952f588e5a Mon Sep 17 00:00:00 2001
From: Quentin Bourgerie <bourgerie.quentin@gmail.com>
Date: Wed, 7 Dec 2022 21:25:28 +0100
Subject: [PATCH] format: exclude concrete-core

---
 .linelint.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.linelint.yml b/.linelint.yml
index 39bbac5ba..d25346dff 100644
--- a/.linelint.yml
+++ b/.linelint.yml
@@ -6,6 +6,7 @@ ignore:
   - .git/
   - llvm-project/
   - compiler/concrete-optimizer
+  - compiler/concrete-core
   - google-benchmark
 
 rules: