From b77772b242d336ef3f021af3757c962591754224 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 9 Jan 2015 15:13:05 +0100
Subject: [PATCH] Fixed some minor issues.

Former-commit-id: 410be1e1a931b2a2140d6b5abfef414fbdd0d395
---
 src/solver/Z3SmtSolver.cpp | 2 +-
 src/storage/BitVector.cpp  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/solver/Z3SmtSolver.cpp b/src/solver/Z3SmtSolver.cpp
index 800cb696d..0e89d1d6c 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"
diff --git a/src/storage/BitVector.cpp b/src/storage/BitVector.cpp
index 0fb08f028..dc9140ede 100644
--- a/src/storage/BitVector.cpp
+++ b/src/storage/BitVector.cpp
@@ -372,13 +372,13 @@ namespace storm {
         bool BitVector::full() const {
             // Check that all buckets except the last one have all bits set.
             for (uint_fast64_t index = 0; index < bucketVector.size() - 1; ++index) {
-                if (bucketVector[index] != -1ll) {
+                if (bucketVector[index] != -1ull) {
                     return false;
                 }
             }
             
             // Now check whether the relevant bits are set in the last bucket.
-            if ((bucketVector.back() & ((1ll << (bitCount & mod64mask)) - 1ll)) != ((1ll << (bitCount & mod64mask)) - 1ll)) {
+            if ((bucketVector.back() & ((1ull << (bitCount & mod64mask)) - 1ull)) != ((1ull << (bitCount & mod64mask)) - 1ull)) {
                 return false;
             }
             return true;