command line options rearranged

[helm.git] / helm / software / helena / src / basic_rg / brgReduction.ml

diff --git a/helm/software/helena/src/basic_rg/brgReduction.ml b/helm/software/helena/src/basic_rg/brgReduction.ml
index 6c5ac1e9809e0fe6e83026da1703f1b2770fbc64..1a5a3f1cf47d70ac9095f00b6572d5c143d610b2 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgReduction.ml
+++ b/helm/software/helena/src/basic_rg/brgReduction.ml
@@ -112,7 +112,7 @@ let rec step st m r =
                if !G.summary then O.add ~grt:1 (); 
                step st (tstep m) w
             end else
-            m, r, None   
+              m, r, None   
         | _, _, _, E.Void   ->
             assert false
       end