From c316da4a72f2f1d3f5473fff5b053387f962eccb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Thu, 17 Nov 2022 11:08:25 +0100
Subject: [PATCH] Add missing Why3__Builtin

---
 common/Why3__BuiltIn.ml | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 common/Why3__BuiltIn.ml

diff --git a/common/Why3__BuiltIn.ml b/common/Why3__BuiltIn.ml
new file mode 100644
index 000000000..49b4392a6
--- /dev/null
+++ b/common/Why3__BuiltIn.ml
@@ -0,0 +1 @@
+type real = unit
-- 
GitLab