From d4e9174dbef83c8f5c6ad560734e147dc8c81251 Mon Sep 17 00:00:00 2001 From: timv Date: Sun, 16 Jun 2013 22:42:54 -0400 Subject: [PATCH] () --- src/Dyna/Backend/Python/repl.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/Dyna/Backend/Python/repl.py b/src/Dyna/Backend/Python/repl.py index a3ea601..ab59502 100644 --- a/src/Dyna/Backend/Python/repl.py +++ b/src/Dyna/Backend/Python/repl.py @@ -30,9 +30,6 @@ class REPL(cmd.Cmd, object): def do_retract_rule(self, idx): self.interp.retract_rule(int(idx)) -# def do_retract_item(self, item): -# self.interp.retract_item(item) - def do_exit(self, _): readline.write_history_file(self.hist) return -1 -- 2.50.1