From c66dc142d240ec2e2ae78201d9614de76535be38 Mon Sep 17 00:00:00 2001
From: Teddy <ted.sybil@gmail.com>
Date: Sat, 3 Aug 2013 23:09:59 +0800
Subject: C++ version now works!

---
 prototype/sketch.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'prototype/sketch.py')

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
-- 
cgit v1.2.3