Failure to compile the miner due to an error in `Surprisingness.cc`

[Maxim Smirnov]

Trying to build a freshly cloned opencog repo results in the following error:

/home/enoch/opencog/opencog/learning/miner/Surprisingness.cc: In static member function ‘static bool opencog::Surprisingness::is_syntax_more_abstract(const opencog::Handle&, const opencog::Handle&, const opencog::Handle&)’:
/home/enoch/opencog/opencog/learning/miner/Surprisingness.cc:522:44: error: no matching function for call to ‘opencog::Unify::Unify(opencog::Handle&, opencog::Handle&, opencog::Variables&, opencog::Variables&)’
  Unify unify(l_body, r_body, l_vars, r_vars);

[Nil Geisweiller]

I don't have such problem. Maybe try to re-build atomspace and opencog from fresh build dirs.

[Linas Vepštas]

Please pull & rebuild, make sure its a clean build. if it still fails, you'd need to report a compiler version and more.