Fixing SHA1 printing

Author: msoos

src/breakid-main.cpp

@@ -168,12 +168,12 @@ int main(int argc, char *argv[])
         std::cerr << program;
         exit(-1);
     }
-    BID::BreakID breakid;
     if (program["version"] == true) {
-        cout << "c BreakID version " << breakid.get_sha1_version() << endl;
+        cout << "c BreakID SHA1: " << BID::BreakID::get_sha1_version() << endl;
         std::exit(0);
     }
 
+    BID::BreakID breakid;
     breakid.set_useMatrixDetection(conf.useMatrixDetection);
     breakid.set_useBinaryClauses(conf.useBinaryClauses);
     breakid.set_useShatterTranslation(conf.useShatterTranslation);

src/breakid.cpp

@@ -236,7 +236,7 @@ void BreakID::get_perms(vector<std::unordered_map<BLit, BLit> >* out)
     }
 }
 
-std::string BreakID::get_sha1_version() const
+std::string BreakID::get_sha1_version()
 {
     return BID::get_version_sha1();
 }

src/breakid.hpp

@@ -84,7 +84,7 @@ struct BreakID {
     DLL_PUBLIC BreakID();
     DLL_PUBLIC ~BreakID();
 
-    DLL_PUBLIC std::string get_sha1_version() const;
+    DLL_PUBLIC static std::string get_sha1_version();
 
     //configuration functions
     DLL_PUBLIC void set_useMatrixDetection(bool val);