etc/options

--- a/etc/options	Tue Jul 24 10:11:49 2012 +0200
+++ b/etc/options	Tue Jul 24 10:39:03 2012 +0200
@@ -18,7 +18,5 @@
 declare proofs : int = 0
 declare quick_and_dirty : bool = false
 
-declare timing : bool = false
-
 declare condition : string = ""