From 366026e333ab226c12c23857388e8396f515acbe Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Thu, 15 Jul 2010 04:48:17 +0000
Subject: Fix some -Wmismatched-tags warnings.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108403 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Core/SpecialFunctionHandler.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/Core/SpecialFunctionHandler.h')

diff --git a/lib/Core/SpecialFunctionHandler.h b/lib/Core/SpecialFunctionHandler.h
index e8c2eedf..02e70ed4 100644
--- a/lib/Core/SpecialFunctionHandler.h
+++ b/lib/Core/SpecialFunctionHandler.h
@@ -22,7 +22,7 @@ namespace klee {
   class Executor;
   class Expr;
   class ExecutionState;
-  class KInstruction;
+  struct KInstruction;
   template<typename T> class ref;
   
   class SpecialFunctionHandler {
-- 
cgit 1.4.1