Deindented

Deindented.

Author: Gustavo2622

tests/procrewrite.ec

@@ -100,7 +100,7 @@ theory ProcRewritePrhl.
   lemma L a0 b0 : equiv[M.f ~ M.g : ={arg} /\ arg{1} = (a0, b0) ==> ={res} /\ res{1} = (b0 + a0) * a0].
   proof.
   proc.
-    proc rewrite {1} 1 addzC.
+  proc rewrite {1} 1 addzC.
   proc rewrite {2} 1 addzC.
   proc rewrite {1} 1 mulzC.
   auto=> />.