From 21fdbab049534b35e9573da89bdfd5942144cbb9 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 11 Mar 2024 10:20:15 +0100
Subject: Regenerate the test files

---
 tests/fstar/demo/Demo.fst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tests/fstar/demo')

diff --git a/tests/fstar/demo/Demo.fst b/tests/fstar/demo/Demo.fst
index 22322ee7..d13d2ba3 100644
--- a/tests/fstar/demo/Demo.fst
+++ b/tests/fstar/demo/Demo.fst
@@ -133,6 +133,6 @@ let counterUsize : counter_t usize = { incr = counterUsize_incr; }
 (** [demo::use_counter]:
     Source: 'src/demo.rs', lines 95:0-95:59 *)
 let use_counter
-  (t : Type0) (counterTInst : counter_t t) (cnt : t) : result (usize & t) =
-  counterTInst.incr cnt
+  (t : Type0) (counterInst : counter_t t) (cnt : t) : result (usize & t) =
+  counterInst.incr cnt
 
-- 
cgit v1.2.3