From 5e99d127e0a746f5779779756fccf79f15c19d10 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 20 Mar 2024 06:17:41 +0100
Subject: Regenerate the code

---
 tests/lean/Demo/Demo.lean | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'tests/lean/Demo')

diff --git a/tests/lean/Demo/Demo.lean b/tests/lean/Demo/Demo.lean
index 09032820..4acc69c8 100644
--- a/tests/lean/Demo/Demo.lean
+++ b/tests/lean/Demo/Demo.lean
@@ -40,9 +40,9 @@ def incr (x : U32) : Result U32 :=
    Source: 'src/demo.rs', lines 25:0-25:17 -/
 def use_incr : Result Unit :=
   do
-  let i ← incr 0#u32
-  let i1 ← incr i
-  let _ ← incr i1
+  let x ← incr 0#u32
+  let x1 ← incr x
+  let _ ← incr x1
   Result.ret ()
 
 /- [demo::CList]
-- 
cgit v1.2.3