From 44c63d4c1369e89ed0d119f7b223fa38cd6424cb Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 17 Dec 2021 16:40:52 -0500 Subject: [PATCH] debug --- src/th-data/Sidekick_th_data.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/th-data/Sidekick_th_data.ml b/src/th-data/Sidekick_th_data.ml index e3a026fe..228eca5b 100644 --- a/src/th-data/Sidekick_th_data.ml +++ b/src/th-data/Sidekick_th_data.ml @@ -268,7 +268,7 @@ module Make(A : ARG) : S with module A = A = struct let merge cc n1 v1 n2 v2 _e : _ result = Log.debugf 5 - (fun k->k "(@[%s.merge@ @[:c1 %a %a@]@ @[:c2 %a %a@]@])" + (fun k->k "(@[%s.merge@ @[:c1 %a@ :v %a@]@ @[:c2 %a@ :v %a@]@])" name N.pp n1 pp v1 N.pp n2 pp v2); let parent_is_a = v1.parent_is_a @ v2.parent_is_a in let parent_select = v1.parent_select @ v2.parent_select in