diff options
Diffstat (limited to 'prototype')
| -rwxr-xr-x | prototype/sketch.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prototype/sketch.py b/prototype/sketch.py index c51dad0..4fd5be1 100755 --- a/prototype/sketch.py +++ b/prototype/sketch.py @@ -535,6 +535,6 @@ while True: cmd = sys.stdin.readline() t.feed(cmd) try: - print e.run_expr(exp).ext_repr() + pdb.run("print e.run_expr(exp).ext_repr()") except Exception as exc: print exc |