1 files changed, 14 insertions, 0 deletions
diff --git a/common/DebugPrint.ml b/common/DebugPrint.ml
index 931dfdf4..f68432d9 100644
--- a/common/DebugPrint.ml
+++ b/common/DebugPrint.ml
@@ -44,6 +44,20 @@ let print_intlist oc l =
     end
   end
 
+let print_ptree_oplist oc pt =
+  if !debug_flag then
+    let elements = PTree.elements pt in
+    begin
+      Printf.fprintf oc "[";
+      List.iter (fun (n, ol) ->
+        match ol with
+        | None -> ()
+        | Some l -> Printf.fprintf oc "%d -> %a,\n" (P.to_int n) print_intlist l
+      ) elements;
+      Printf.fprintf oc "]\n"
+    end
+  else ()
+
 (* Adapted from backend/PrintRTL.ml: print_function *)
 let print_code code = let open PrintRTL in let open Printf in
   if (!debug_flag) then begin