From 36b2fce030b6a5b1dbaf628787d442e31e1138ae Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Fri, 31 Mar 2017 17:26:24 +0200 Subject: [PATCH] The profile scripts default had to be changed. --- scripts/profile.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/profile.py b/scripts/profile.py index 44028b05..f692e002 100755 --- a/scripts/profile.py +++ b/scripts/profile.py @@ -45,5 +45,5 @@ def main(args): if __name__ == '__main__': args = docopt(__doc__) if args[''] is None: - args[''] = 'import numpy; numpy.array([0])' + args[''] = 'import numpy; numpy.array([0]).' main(args)