X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=main.py;h=a954af61cb040a6f0d6f8323627007d3449b0e33;hb=1fb70f7c2d14ad7a1f600cdf472d179d84c438bf;hp=8b5d9a4033fbe270a3762c57846fc4301563ed14;hpb=3060e09fe9c6d71f44482308c5876078c527bd70;p=culture.git

diff --git a/main.py b/main.py
index 8b5d9a4..a954af6 100755
--- a/main.py
+++ b/main.py
@@ -250,7 +250,7 @@ if args.problem == "sky":
         speed=args.sky_speed,
     )
 elif args.problem == "reasoning":
-    problem = reasoning.Reasoning()
+    problem = reasoning.Reasoning(device=device)
 else:
     raise ValueError