Skip to content

Commit

Permalink
Better PHP layout
Browse files Browse the repository at this point in the history
  • Loading branch information
msoos committed Sep 30, 2017
1 parent d027e1b commit e002ab2
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions web/get_data.php
Original file line number Diff line number Diff line change
Expand Up @@ -194,15 +194,13 @@ public function fill_data_tmp()
$this->print_one_graph(
"Distribution of clause types %"
, array(
"set"
, "numIrredBins"
"numIrredBins"
, "numRedBins"
, "numIrredLongs"
, "numRedLongs"
)
,array(
"unit cls"
, "irred bin"
"irred bin"
, "red bin"
, "irred long"
, "ired long"
Expand Down

0 comments on commit e002ab2

Please sign in to comment.