From 52459e7557483a6648867fbc694a75f1c215da6b Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 28 Jan 2009 17:34:34 +0000
Subject: [PATCH] Turned on usage checking by default

I think the Tock usage checking is now sufficiently advanced (it only rejects one or two parts of the cgtest at the moment) to turn it on by default
---
 data/CompState.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/CompState.hs b/data/CompState.hs
index 1e172ff..546083b 100644
--- a/data/CompState.hs
+++ b/data/CompState.hs
@@ -136,7 +136,7 @@ emptyState = CompState {
     csBackend = BackendC,
     csFrontend = FrontendOccam,
     csSanityCheck = False,
-    csUsageChecking = False, -- For now!  TODO turn this on by default
+    csUsageChecking = True,
     csVerboseLevel = 0,
     csOutputFile = "-",
     csKeepTemporaries = False,