Commits

Shlomi Fish committed fdcbaf3

Minor reformatting.

Comments (0)

Files changed (1)

fc-solve/source/scripts/summarize-fc-solve

     ($is_solvable ? "Solved"
         : $intractable ? "Intractable"
         : "Unsolved"
-    ) .
-    " ; Iters: $num_iters ; Length: $sol_len\n";
+    )
+    . " ; Iters: $num_iters ; Length: $sol_len\n";