From f90809f123622542b32358aafd470e092b4c1198 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Fri, 13 Dec 2019 19:17:17 +0100 Subject: [PATCH] fix: lean-gdb.py --- bin/lean-gdb.py | 1 + 1 file changed, 1 insertion(+) 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']), ]