Permalink
Browse files

Sort principle list.

  • Loading branch information...
Jesse Alama
Jesse Alama committed Nov 24, 2011
1 parent bd97f97 commit f92ce9e334ea0105363fda8f59ddc96e9e676f37
Showing with 5 additions and 3 deletions.
  1. +4 −2 reprove-summarize.pl
  2. +1 −1 todo.org
View
@@ -224,8 +224,10 @@ sub counts_line {
return $line;
}
-for (my $i = 0; $i < scalar @all_principles; $i++) {
- my $principle = $all_principles[$i];
+my @sorted_principles = sort @all_principles;
+
+for (my $i = 0; $i < scalar @sorted_principles; $i++) {
+ my $principle = $sorted_principles[$i];
my $principle_length = length $principle;
my $padding_for_this_principle = $length_of_longest_principle - $principle_length;
my $summary_line = summary_line_for_principle ($principle, $padding_for_this_principle);
View
@@ -1,5 +1,5 @@
* TODO Parallelize reprove-semantically
* DONE Row separators for reprove-summarize
-* TODO Sort premises in reprove-summarize
+* DONE Sort premises in reprove-summarize
* DONE Print *all* principles, even those in the initial theory, in reprove-summarize

0 comments on commit f92ce9e

Please sign in to comment.