Remove extra space in choices.exh

ulysseB · May 23, 2018 · eb020ef · eb020ef
1 parent f7e49fe
commit eb020ef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/search_space/choices.exh b/src/search_space/choices.exh
@@ -110,7 +110,7 @@ define enum dim_kind($dim in Dimensions):
     requires forall $other_dim in Dimensions:
       order($dim, $other_dim) is not OUTER
     requires forall $inst in Instructions:
-      order($dim, $inst) is not OUTER || "$fun.device().can_vectorize( $dim, $inst.operator())"
+      order($dim, $inst) is not OUTER || "$fun.device().can_vectorize($dim, $inst.operator())"
   /// The dimension is mapped to a block dimension on the device.
   value BLOCK:
     requires forall $other_dim in Dimensions: