From 43c63f1cb69bbb5664ce3c0263286dfa1623b72e Mon Sep 17 00:00:00 2001
From: svkurowski <sascha.kurowski@rwth-aachen.de>
Date: Thu, 8 Jan 2015 15:06:22 +0100
Subject: [PATCH] Fixed typo from aa025df9

Former-commit-id: 9d0328651cec904119a684ff5fcc61ccaae43a65
---
 src/solver/Z3SmtSolver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solver/Z3SmtSolver.cpp b/src/solver/Z3SmtSolver.cpp
index 7db1816ce..1a30d6a49 100644
--- a/src/solver/Z3SmtSolver.cpp
+++ b/src/solver/Z3SmtSolver.cpp
@@ -1,4 +1,4 @@
-#include "src/solver/Z3Smtsolver.h"
+#include "src/solver/Z3SmtSolver.h"
 
 #include "src/exceptions/NotSupportedException.h"
 #include "src/exceptions/InvalidStateException.h"