From 195dffbb7468e814d3dc3226666688869c13ba3d Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 25 Jan 2013 15:16:43 -0500
Subject: Fix errors and reduce warnings on clang (merge from mdeters/clang)

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

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

diff --git a/src/options/options.h b/src/options/options.h
index 2d49765f3..5f17f5a5c 100644
--- a/src/options/options.h
+++ b/src/options/options.h
@@ -31,7 +31,7 @@
 namespace CVC4 {
 
 namespace options {
-  class OptionsHolder;
+  struct OptionsHolder;
 }/* CVC4::options namespace */
 
 class ExprStream;
-- 
cgit v1.2.3