From 6e3d959159e52c012008eeb642c6886010011ef1 Mon Sep 17 00:00:00 2001
From: Matthew Parkinson <mattpark@microsoft.com>
Date: Mon, 27 Nov 2023 12:02:13 +0000
Subject: [PATCH] Clangformat

---
 src/lang.cc | 18 +++++++++---------
 src/main.cc |  5 +----
 2 files changed, 10 insertions(+), 13 deletions(-)

diff --git a/src/lang.cc b/src/lang.cc
index e21564047..ee12c70a3 100644
--- a/src/lang.cc
+++ b/src/lang.cc
@@ -271,14 +271,14 @@ namespace verona
   std::vector<Pass> passes()
   {
     return {
-        modules(),       structure(),     reference(),     conditionals(),
-        lambda(),        autocreate(),    defaultargs(),   typenames(),
-        typeview(),      typefunc(),      typealg(),       typeflat(),
-        typevalid(),     typereference(), codereuse(),     memberconflict(),
-        resetimplicit(), reverseapp(),    application(),   assignlhs(),
-        localvar(),      assignment(),    autofields(),    autorhs(),
-        partialapp(),    traitisect(),    nlrcheck(),      anf(),
-        defbeforeuse(),  drop(),          validtypeargs(), // typeinfer(),
-      };
+      modules(),       structure(),     reference(),     conditionals(),
+      lambda(),        autocreate(),    defaultargs(),   typenames(),
+      typeview(),      typefunc(),      typealg(),       typeflat(),
+      typevalid(),     typereference(), codereuse(),     memberconflict(),
+      resetimplicit(), reverseapp(),    application(),   assignlhs(),
+      localvar(),      assignment(),    autofields(),    autorhs(),
+      partialapp(),    traitisect(),    nlrcheck(),      anf(),
+      defbeforeuse(),  drop(),          validtypeargs(), // typeinfer(),
+    };
   }
 }
diff --git a/src/main.cc b/src/main.cc
index 3b6b77c11..d426c8a3c 100644
--- a/src/main.cc
+++ b/src/main.cc
@@ -14,10 +14,7 @@ namespace verona
 int main(int argc, char** argv)
 {
   trieste::Driver d(
-      "Verona",
-      &verona::options(),
-      verona::parser(),
-      verona::passes());
+    "Verona", &verona::options(), verona::parser(), verona::passes());
 
   return d.run(argc, argv);
 }