From 2c7da77682998d520136249897f69ceed53d49a9 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 20 Sep 2012 13:36:12 +0000
Subject: some bugfixes that come as a result of debugging some CASCADE/C
 stuff..

(this commit was certified error- and warning-free by the test-and-commit script.)
---
 src/util/sexpr.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/util/sexpr.h')

diff --git a/src/util/sexpr.h b/src/util/sexpr.h
index b99eda5ca..0734dec6c 100644
--- a/src/util/sexpr.h
+++ b/src/util/sexpr.h
@@ -58,11 +58,11 @@ class CVC4_PUBLIC SExpr {
 
 public:
 
-  class Keyword : protected std::string {
+  class CVC4_PUBLIC Keyword : protected std::string {
   public:
     Keyword(const std::string& s) : std::string(s) {}
     const std::string& getString() const { return *this; }
-  };/* class Keyword */
+  };/* class SExpr::Keyword */
 
   SExpr() :
     d_sexprType(SEXPR_STRING),
-- 
cgit v1.2.3