diff --git a/CMakeLists.txt b/CMakeLists.txt
index 9132e02a25bdbd93b247490e4a8c281f811bf310..619c1eaf15319796f7af8de9d9d067d40e6c9561 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -4,5 +4,5 @@ enable_language(CXX)
 
 include_directories ("${PROJECT_SOURCE_DIR}/btypes_primitives")
 include_directories ("${PROJECT_SOURCE_DIR}/btypes_big_integer")
-install (FILES "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BBoolean.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BInteger.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BObject.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BRelation.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BSet.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BString.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BStruct.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BTuple.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BUtils.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/PreconditionOrAssertionViolation.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/StateNotReachableError.hpp" DESTINATION include/btypes_primitives "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/VariantViolation.hpp" DESTINATION include/btypes_primitives "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/LoopInvariantViolation.hpp" DESTINATION include/btypes_primitives)
-install (FILES "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BBoolean.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BInteger.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BObject.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BRelation.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BSet.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BString.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BStruct.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BTuple.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BUtils.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/PreconditionOrAssertionViolation.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/StateNotReachableError.hpp" DESTINATION include/btypes_big_integer "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/VariantViolation.hpp" DESTINATION include/btypes_big_integer "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/LoopInvariantViolation.hpp" DESTINATION include/btypes_big_integer)
\ No newline at end of file
+install (FILES "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BBoolean.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BInteger.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BObject.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BRelation.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BSet.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BString.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BStruct.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BTuple.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BUtils.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/PreconditionOrAssertionViolation.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/StateNotReachableError.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/VariantViolation.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/LoopInvariantViolation.hpp" DESTINATION include/btypes_primitives)
+install (FILES "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BBoolean.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BInteger.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BObject.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BRelation.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BSet.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BString.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BStruct.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BTuple.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BUtils.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/PreconditionOrAssertionViolation.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/StateNotReachableError.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/VariantViolation.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/LoopInvariantViolation.hpp" DESTINATION include/btypes_big_integer)
\ No newline at end of file