From 093fa1757392e7bfc18493f2daa87ff540aeea86 Mon Sep 17 00:00:00 2001
From: François Bobot <francois@bobot.eu>
Date: Mon, 13 Feb 2012 23:12:15 +0000
Subject: precision in theoryskel

---
 src/theory/theory.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory/theory.h')

diff --git a/src/theory/theory.h b/src/theory/theory.h
index 7441bbc4e..e6a2e2336 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -306,7 +306,7 @@ public:
    * equality with one of these values (e.g. if STANDARD xxx) but
    * rather use range checks (or use the helper functions below).
    * Normally we call QUICK_CHECK or STANDARD; at the leaves we call
-   * with MAX_EFFORT.
+   * with FULL_EFFORT.
    */
   enum Effort {
     MIN_EFFORT = 0,
-- 
cgit v1.2.3