From feb60683216a6d9193d6353605560c6c80a1ab41 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 7 Mar 2023 08:41:57 +0100
Subject: Make minor modifications and regenerate the Lean files

---
 backends/lean/Primitives.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backends')

diff --git a/backends/lean/Primitives.lean b/backends/lean/Primitives.lean
index e558e476..346e4b89 100644
--- a/backends/lean/Primitives.lean
+++ b/backends/lean/Primitives.lean
@@ -21,7 +21,7 @@ open Error
 
 inductive Result (α : Type u) where
   | ret (v: α): Result α
-  | fail (e: Error): Result α 
+  | fail (e: Error): Result α
 deriving Repr, BEq
 
 open Result
-- 
cgit v1.2.3