- bug fix in the static disambiguation of unified binders

[helm.git] / helm / software / helena / src / common / status.ml

diff --git a/helm/software/helena/src/common/status.ml b/helm/software/helena/src/common/status.ml
index bc04a5afdcdf58ef2f0bb0c53bb253ac1af24cff..89bf28e86e354dc3503c9c67cd16be77a41c87ba 100644 (file)
--- a/helm/software/helena/src/common/status.ml
+++ b/helm/software/helena/src/common/status.ml
@@ -9,8 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-module N = Level
 module G = Options
+module N = Level
 
 type status = {
    delta: bool;    (* global delta-expansion *)