show statistics without coffee lounge

pluskid · Feb 13, 2015 · 1bbc581 · 1bbc581
1 parent 40ce077
commit 1bbc581
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/coffee-break.jl b/src/coffee-break.jl
@@ -75,6 +75,9 @@ function setup(lounge::CoffeeLounge, state::SolverState, net::Net)
   end
 end
 
+function update_statistics(dummy::Nothing, key::String, val::StatisticsValue)
+  # dummy function used when you do not want to record statistics
+end
 function update_statistics(lounge::CoffeeLounge, key::String, val::StatisticsValue)
   dict = get(lounge.statistics, key, StatisticsRecords())
   dict[lounge.curr_iter] = val