From 8080c65766804f9830d1fd0a1d266c457c0234c6 Mon Sep 17 00:00:00 2001 From: root Date: Tue, 5 Nov 2019 22:02:58 +0000 Subject: [PATCH] update console play --- console_play.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/console_play.py b/console_play.py index a3872a3..d726d0b 100644 --- a/console_play.py +++ b/console_play.py @@ -45,8 +45,7 @@ def play_unconstrained(): if __name__ == '__main__': - import cProfile - cProfile.run('play_unconstrained()') + play_unconstrained()