From 4e6129afb9aab53d14f16ac74a5a4e80323b5813 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Sat, 27 Oct 2018 18:08:53 +0200
Subject: formatting

---
 src/versions/native/structures.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/versions')

diff --git a/src/versions/native/structures.ml b/src/versions/native/structures.ml
index 42e5792..8db91fd 100644
--- a/src/versions/native/structures.ml
+++ b/src/versions/native/structures.ml
@@ -60,7 +60,7 @@ let mkTrace step_to_coq next carray _ _ _ _ size step def_step r =
   if r1 <> 0 then (
     let traceq = Array.make (r1 + 1) def_step in
     for i = 0 to r1-1 do
-    r := next !r;
+      r := next !r;
     traceq.(i) <- step_to_coq !r;
     done;
     trace.(q) <- mkArray (step, traceq)
-- 
cgit