From 4671daa0899d3c897cb28baeb5e62b2486fbeba7 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 12:12:29 +0200
Subject: Reformat the code

---
 compiler/dune | 63 +++++++++++++++++++++++++++++++++++++++++++++++++----------
 1 file changed, 53 insertions(+), 10 deletions(-)

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index 08b0d30f..f0fd2102 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -15,16 +15,59 @@
  (preprocess
   (pps ppx_deriving.show ppx_deriving.ord visitors.ppx))
  (libraries ppx_deriving yojson zarith easy_logging core_unix)
- (modules Assumed Collections ConstStrings Contexts Cps Crates Errors
-   Expressions ExpressionsUtils ExtractToFStar FunsAnalysis Identifiers
-   InterpreterBorrowsCore InterpreterBorrows InterpreterExpansion
-   InterpreterExpressions Interpreter InterpreterPaths InterpreterProjectors
-   InterpreterStatements InterpreterUtils Invariants LlbcAst LlbcAstUtils
-   LlbcOfJson Logging Meta Names OfJsonBasic PrePasses Print PrintPure
-   PureMicroPasses Pure PureToExtract PureTypeCheck PureUtils Scalars
-   StringUtils Substitute SymbolicAst SymbolicToPure SynthesizeSymbolic
-   TranslateCore Translate TypesAnalysis Types TypesUtils Utils Values
-   ValuesUtils PrimitiveValues))
+ (modules
+  Assumed
+  Collections
+  ConstStrings
+  Contexts
+  Cps
+  Crates
+  Errors
+  Expressions
+  ExpressionsUtils
+  ExtractToFStar
+  FunsAnalysis
+  Identifiers
+  InterpreterBorrowsCore
+  InterpreterBorrows
+  InterpreterExpansion
+  InterpreterExpressions
+  Interpreter
+  InterpreterPaths
+  InterpreterProjectors
+  InterpreterStatements
+  InterpreterUtils
+  Invariants
+  LlbcAst
+  LlbcAstUtils
+  LlbcOfJson
+  Logging
+  Meta
+  Names
+  OfJsonBasic
+  PrePasses
+  Print
+  PrintPure
+  PureMicroPasses
+  Pure
+  PureToExtract
+  PureTypeCheck
+  PureUtils
+  Scalars
+  StringUtils
+  Substitute
+  SymbolicAst
+  SymbolicToPure
+  SynthesizeSymbolic
+  TranslateCore
+  Translate
+  TypesAnalysis
+  Types
+  TypesUtils
+  Utils
+  Values
+  ValuesUtils
+  PrimitiveValues))
 
 (documentation
  (package aeneas))
-- 
cgit v1.2.3