diff options
Diffstat (limited to 'compiler/dune-project')
| -rw-r--r-- | compiler/dune-project | 2 |
1 files changed, 0 insertions, 2 deletions
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)) |