From fc235a1d2b7f10e6b5b1d7ed4328e2f9f7714171 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Wed, 25 Oct 2023 22:23:06 +0200
Subject: Updated the documentation

---
 lib/syntax/check.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/syntax/check.ml')

diff --git a/lib/syntax/check.ml b/lib/syntax/check.ml
index 54eb295..7db3286 100644
--- a/lib/syntax/check.ml
+++ b/lib/syntax/check.ml
@@ -1,5 +1,3 @@
-open StdLabels
-
 (** This module provide a way to create new Id dynamically in the runtime,
     and some fonctions for comparing them. *)
 module Id : sig
@@ -89,6 +87,8 @@ module type App = sig
   val t : t array
 end
 
+open StdLabels
+
 module Helper = struct
   type 'a expr_list = { witness : 'a Id.typeid; values : 'a list }
 
-- 
cgit v1.2.3