From e739f16b0792545ec210008cdd6264614fe695e4 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 28 Mar 2018 17:42:51 +0200
Subject: Fix #7101: STM delegation policy broken

I make here a minimal fix, but a lot of cleaning should be done around
Aux_file handling, including removing some code from the kernel.
---
 lib/aux_file.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/aux_file.ml b/lib/aux_file.ml
index 7d9c528e78..0f9476605b 100644
--- a/lib/aux_file.ml
+++ b/lib/aux_file.ml
@@ -55,7 +55,7 @@ let record_in_aux_at ?loc key v =
       match loc with
       | Some loc -> let i, j = Loc.unloc loc in
                     Printf.fprintf oc "%d %d %s %S\n" i j key v
-      | None     -> Printf.fprintf oc "--- %s %S\n" key v
+      | None     -> Printf.fprintf oc "0 0 %s %S\n" key v
     ) !oc
 
 let current_loc : Loc.t option ref = ref None
-- 
cgit v1.2.3