Updated the documentation

1 files changed, 2 insertions, 2 deletions

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 }