From f7f5d626745200df5748e7bda860c7d303bea18a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Feb 2022 23:18:00 +0100
Subject: Make mor modifications

---
 fstar/Primitives.fst | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'fstar')

diff --git a/fstar/Primitives.fst b/fstar/Primitives.fst
index 6771fe93..b8da70c4 100644
--- a/fstar/Primitives.fst
+++ b/fstar/Primitives.fst
@@ -9,6 +9,9 @@ type result (a : Type0) : Type0 =
 | Return : a -> result a
 | Fail : result a
 
+(*** Misc *)
+type char = FStar.Char.char
+
 (*** Scalars *)
 /// Rk.: most of the following code was at least partially generated
 let isize_min : int = -9223372036854775808
-- 
cgit v1.2.3