From 3ba7ed6b1b09739385ae2ffb77a5c7ccd18b40a5 Mon Sep 17 00:00:00 2001
From: Liana Hadarean <lianah@cs.nyu.edu>
Date: Mon, 17 Nov 2014 15:26:42 -0500
Subject: Resource-limiting work.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
---
 src/prop/theory_proxy.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/prop/theory_proxy.h')

diff --git a/src/prop/theory_proxy.h b/src/prop/theory_proxy.h
index a962f653a..3565aa501 100644
--- a/src/prop/theory_proxy.h
+++ b/src/prop/theory_proxy.h
@@ -111,7 +111,7 @@ public:
 
   void logDecision(SatLiteral lit);
 
-  void checkTime();
+  void spendResource();
 
   bool isDecisionEngineDone();
 
-- 
cgit v1.2.3