From 59cb4312df866ec00a1fddec62a1e660b358052d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 29 Nov 2023 11:46:35 +0100
Subject: Regenerate the test files

---
 tests/fstar/traits/Traits.fst | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'tests/fstar/traits')

diff --git a/tests/fstar/traits/Traits.fst b/tests/fstar/traits/Traits.fst
index 895a1cac..8252aad4 100644
--- a/tests/fstar/traits/Traits.fst
+++ b/tests/fstar/traits/Traits.fst
@@ -454,8 +454,3 @@ noeq type cFn_t (self args : Type0) = {
     cFnMutSelfArgsInst.cFnOnceSelfArgsInst.tOutput;
 }
 
-(** [traits::incr_u32]: forward function
-    Source: 'src/traits.rs', lines 300:0-300:30 *)
-let incr_u32 (x : u32) : result u32 =
-  u32_add x 1
-
-- 
cgit v1.2.3