diff --git a/libsolutil/CDCL.cpp b/libsolutil/CDCL.cpp
index 14fe67961..70770420f 100644
--- a/libsolutil/CDCL.cpp
+++ b/libsolutil/CDCL.cpp
@@ -243,7 +243,7 @@ std::pair<Clause, size_t> CDCL::analyze(Clause _conflictClause)
 				else
 				{
 					//cout << "    adding " << toString(literal) << " @" << variableLevel << " to learnt clause." << endl;
-					vsids_bump_var_act((uint32_t)literal.variable);
+					vsidsBumpVarAct((uint32_t)literal.variable);
 					learntClause.push_back(literal);
 					backtrackLevel = max(backtrackLevel, variableLevel);
 				}
diff --git a/libsolutil/CDCL.h b/libsolutil/CDCL.h
index 04d970a1f..f96fe93a3 100644
--- a/libsolutil/CDCL.h
+++ b/libsolutil/CDCL.h
@@ -137,7 +137,7 @@ private:
 	{
 		m_var_inc_vsids *= (1.0 / m_var_decay);
 	}
-	void vsids_bump_var_act(const uint32_t var)
+	void vsidsBumpVarAct(const uint32_t var)
 	{
 		assert(m_activity.size() > var);
 		m_activity[var] += m_var_inc_vsids;