diff --git a/bin/lean-gdb.py b/bin/lean-gdb.py
index c28270a3f3..cd8e7fbd1f 100644
--- a/bin/lean-gdb.py
+++ b/bin/lean-gdb.py
@@ -162,6 +162,7 @@ class LeanExprPrinter:
         ('lit', ['literal']),
         ('mdata', ['kvmap', 'expr']),
         ('proj', ['name', 'nat', 'expr']),
+        ('elet', ['name', 'name', 'expr']),
     ]