Prepare for release-3.3.3

potassco · Nov 5, 2017 · 46c38ed · 46c38ed
1 parent 8bef779
commit 46c38ed
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CHANGES b/CHANGES
@@ -1,4 +1,4 @@
-clasp 3.3.3:
+clasp 3.3.3: Sunday, 5th November 2017
   * fixed: possible race condition in Windows alarm handling (libpotassco)
   * fixed: state not fully reset in incremental acyc check
   * fixed: facade progress state not reset after solving step

diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -1,5 +1,5 @@
 cmake_minimum_required(VERSION 3.1)
-project(CLASP VERSION 3.3.2 LANGUAGES CXX)
+project(CLASP VERSION 3.3.3 LANGUAGES CXX)
 # Enable folders in IDEs like Visual Studio
 set_property(GLOBAL PROPERTY USE_FOLDERS ON)
 if (POLICY CMP0063)