From 4c9f8d2b58d274e5bfea5fa28b02f005af71ef39 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 5 Oct 2010 22:24:09 +0000
Subject: parser and core support for SMT-LIBv2 commands get-info, set-option,
 get-option, get-assertions, get-value, define-sort, define-fun, and
 declare-sort with arity > 0; SmtEngine doesn't yet support most of these, but
 will shortly...

---
 src/theory/booleans/kinds | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory/booleans')

diff --git a/src/theory/booleans/kinds b/src/theory/booleans/kinds
index 43c37f4b7..ac6b05881 100644
--- a/src/theory/booleans/kinds
+++ b/src/theory/booleans/kinds
@@ -1,7 +1,7 @@
 # kinds                                                               -*- sh -*-
 #
 # For documentation on this file format, please refer to
-# src/expr/builtin_kinds.
+# src/theory/builtin/kinds.
 #
 
 theory ::CVC4::theory::booleans::TheoryBool "theory_bool.h"
-- 
cgit v1.2.3