From f45502c131fc6aae08aa5f0049911b85ba13529f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 17:53:32 +0200
Subject: Move some files to the Charon project

---
 compiler/dune-project | 2 --
 1 file changed, 2 deletions(-)

(limited to 'compiler/dune-project')

diff --git a/compiler/dune-project b/compiler/dune-project
index f8b418f2..650eeec0 100644
--- a/compiler/dune-project
+++ b/compiler/dune-project
@@ -6,8 +6,6 @@
 
 (generate_opam_files true)
 
-(formatting)
-
 (source
  (uri git+https://github.com/AeneasVerif/aeneas.git))
 
-- 
cgit v1.2.3