Incremented version number and contributor list

richard-evans · Jan 9, 2021 · 4c1575c · 4c1575c
1 parent 526ae17
commit 4c1575c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/main/main.cpp b/src/main/main.cpp
@@ -77,7 +77,7 @@ int main(int argc, char* argv[]){
       std::cout << std::endl;
       std::cout << "  Lead Developer: Richard F L Evans <[email protected]>" << std::endl;
       std::cout << std::endl;
-      std::cout << "  Contributors: Andrea Meo, Andrew Naden, Matthew Ellis," << std::endl;
+      std::cout << "  Contributors: Sarah Jenkins, Andrea Meo, Andrew Naden, Matthew Ellis," << std::endl;
       std::cout << "                Oscar Arbelaez, Sam Morris, Rory Pond, Weijia Fan," << std::endl;
       std::cout << "                Phanwadee Chureemart, Sarah Jenkins, Joe Barker, " << std::endl;
       std::cout << "                Thomas Ostler, Andreas Biternas, Roy W Chantrell," << std::endl;

diff --git a/src/main/version.cpp b/src/main/version.cpp
@@ -19,7 +19,7 @@
 namespace vinfo{
 
    // variable string to store version number of code
-   std::string vampire_version = "5.0.1"; // vampire code version
+   std::string vampire_version = "6.0.0"; // vampire code version
 
    // wrapper function to return vampire version
    std::string version(){