From e18bf82b0931a7fd8a357a8516ef8618d77d42cf Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 22 Sep 2022 17:27:24 +0200
Subject: Regenerate the translated files

---
 tests/betree/Primitives.fst          | 2 +-
 tests/hashmap/Primitives.fst         | 2 +-
 tests/hashmap_on_disk/Primitives.fst | 2 +-
 tests/misc/Primitives.fst            | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'tests')

diff --git a/tests/betree/Primitives.fst b/tests/betree/Primitives.fst
index b3da25c2..b44fe9d1 100644
--- a/tests/betree/Primitives.fst
+++ b/tests/betree/Primitives.fst
@@ -34,7 +34,7 @@ let bind (#a #b : Type0) (m : result a) (f : a -> result b) : result b =
 // Monadic assert(...)
 let massert (b:bool) : result unit = if b then Return () else Fail
 
-// Unwrap a successful result by normalisation (used for globals).
+// Normalize and unwrap a successful result (used for globals).
 let eval_global (#a : Type0) (x : result a{Return? (normalize_term x)}) : a = Return?.v x
 
 (*** Misc *)
diff --git a/tests/hashmap/Primitives.fst b/tests/hashmap/Primitives.fst
index b3da25c2..b44fe9d1 100644
--- a/tests/hashmap/Primitives.fst
+++ b/tests/hashmap/Primitives.fst
@@ -34,7 +34,7 @@ let bind (#a #b : Type0) (m : result a) (f : a -> result b) : result b =
 // Monadic assert(...)
 let massert (b:bool) : result unit = if b then Return () else Fail
 
-// Unwrap a successful result by normalisation (used for globals).
+// Normalize and unwrap a successful result (used for globals).
 let eval_global (#a : Type0) (x : result a{Return? (normalize_term x)}) : a = Return?.v x
 
 (*** Misc *)
diff --git a/tests/hashmap_on_disk/Primitives.fst b/tests/hashmap_on_disk/Primitives.fst
index b3da25c2..b44fe9d1 100644
--- a/tests/hashmap_on_disk/Primitives.fst
+++ b/tests/hashmap_on_disk/Primitives.fst
@@ -34,7 +34,7 @@ let bind (#a #b : Type0) (m : result a) (f : a -> result b) : result b =
 // Monadic assert(...)
 let massert (b:bool) : result unit = if b then Return () else Fail
 
-// Unwrap a successful result by normalisation (used for globals).
+// Normalize and unwrap a successful result (used for globals).
 let eval_global (#a : Type0) (x : result a{Return? (normalize_term x)}) : a = Return?.v x
 
 (*** Misc *)
diff --git a/tests/misc/Primitives.fst b/tests/misc/Primitives.fst
index b3da25c2..b44fe9d1 100644
--- a/tests/misc/Primitives.fst
+++ b/tests/misc/Primitives.fst
@@ -34,7 +34,7 @@ let bind (#a #b : Type0) (m : result a) (f : a -> result b) : result b =
 // Monadic assert(...)
 let massert (b:bool) : result unit = if b then Return () else Fail
 
-// Unwrap a successful result by normalisation (used for globals).
+// Normalize and unwrap a successful result (used for globals).
 let eval_global (#a : Type0) (x : result a{Return? (normalize_term x)}) : a = Return?.v x
 
 (*** Misc *)
-- 
cgit v1.2.3