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/Utils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/Utils.ml')

diff --git a/compiler/Utils.ml b/compiler/Utils.ml
index a285e869..9a79eb55 100644
--- a/compiler/Utils.ml
+++ b/compiler/Utils.ml
@@ -1,6 +1,6 @@
-exception Found
 (** Utility exception
 
     When looking for something while exploring a term, it can be easier to
     just throw an exception to signal we found what we were looking for.
  *)
+exception Found
-- 
cgit v1.2.3