From 3ecca99a25369fecf990d922e6ccbaa31f71190a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 4 Mar 2022 13:15:16 +0100
Subject: Make minor modifications to the variable names generation

---
 tests/misc/External.Funs.fst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/misc/External.Funs.fst')

diff --git a/tests/misc/External.Funs.fst b/tests/misc/External.Funs.fst
index 8030b838..927dad9c 100644
--- a/tests/misc/External.Funs.fst
+++ b/tests/misc/External.Funs.fst
@@ -36,7 +36,7 @@ let test_new_non_zero_u32_fwd
       core_option_option_unwrap_fwd core_num_nonzero_non_zero_u32_t opt st0
       with
     | Fail -> Fail
-    | Return (st1, cnnnzu) -> Return (st1, cnnnzu)
+    | Return (st1, nzu) -> Return (st1, nzu)
     end
   end
 
-- 
cgit v1.2.3