From 7237456b4e2e5a119feacf98f52ec9e55d7a62a5 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 6 Apr 2012 22:06:52 +0000
Subject: * Fix ITEs and functions in CVC language printer. * Permit "BOOL =
 BOOL" in CVC language parser (auto-replaced with IFF   internally, except in
 strict mode). * SExpr atoms now can be string-, integer-, or rational-valued.
 * SmtEngine::setInfo(":status", ...) now properly dumps a  
 SetBenchmarkStatusCommand rather than a SetInfoCommand. * Some dumping fixes
 (resolves bug 313)

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

(limited to 'src/expr/command.h')

diff --git a/src/expr/command.h b/src/expr/command.h
index 6bb6fba3d..a6f22fe20 100644
--- a/src/expr/command.h
+++ b/src/expr/command.h
@@ -57,7 +57,7 @@ enum BenchmarkStatus {
   SMT_UNSATISFIABLE,
   /** The status of the benchmark is unknown */
   SMT_UNKNOWN
-};
+};/* enum BenchmarkStatus */
 
 std::ostream& operator<<(std::ostream& out,
                          BenchmarkStatus status) throw() CVC4_PUBLIC;
-- 
cgit v1.2.3