From b94d1607bfed1a66591a35de40d7d2a00014286c Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 27 May 2014 14:43:46 -0400
Subject: Revert "timespec printing bug"

This reverts commit 9006b759cfa01c6006196e0716c2d67c760556a6.
---
 src/main/options | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/main')

diff --git a/src/main/options b/src/main/options
index 943f46b61..8733011f7 100644
--- a/src/main/options
+++ b/src/main/options
@@ -53,7 +53,4 @@ undocumented-alias --segv-nospin = --no-segv-spin
 expert-option waitToJoin --wait-to-join bool :default true
  wait for other threads to join before quitting
 
-expert-option periodicStatsInterval --periodic-stats int :default 0
- print total time we have been running every N decisions
-
 endmodule
-- 
cgit v1.2.3