From 6338ac15a3bc87aaf4906dc57a698496269dc4d6 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 15 Aug 2022 09:16:29 +0200
Subject: gdbinit: add ppsltf

---
 .gdbinit | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to '.gdbinit')

diff --git a/.gdbinit b/.gdbinit
index 5c4117422..d6b3e7fba 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -70,6 +70,14 @@ document ploc
 Print the location for iir $.
 end
 
+define ppsltf
+  call psl.dump_tree.disp_tree($arg0, 0, 2)
+end
+
+document ppsltf
+Print the PSL node that is $arg0
+end
+
 set lang ada
 
 # Must be the last command: some distributions use a shared libgnat by default,
-- 
cgit v1.2.3