My colleague who uses Linux ran the same code as me, however, it compiled and ran perfectly for him.
I am pretty new to using C++ and Visual Studio(latest version) so this might be silly. I have the following code in a header file
#pragma once
#include<set>
#include<deque>
#include <vector>
using namespace std;
enum Sign { lnone, lpos, lneg, lboth};
class Literal
{
public:
    Sign sign;
    int vneg;
    int vpos;
    Literal() = default;
    ~Literal() = default;
    Literal(Sign s, int b,int c)
    {
         sign=s;
         vneg = b;
         vpos = c;
    }
};
typedef deque<Literal>Clause;
typedef set<Clause>Formula;
typedef deque<int> Row;
typedef vector<Row> Matrix;
extern Matrix posT;
extern Matrix negT;
extern Formula f;
When I now try to build, it shows Build failed with the following errors:
C2672: 'operator_surrogate-func' no matching overloading function found
C2893: Failed to specialize function template 'unknown-type std::less::operator ()(_Ty1 &&,_Ty2 &&) noexcept() const'
C2672: 'operator_surrogate-func' no matching overloading function found
C2893: Failed to specialize function template 'unknown-type std::less::operator ()(_Ty1 &&,_Ty2 &&) noexcept() const'
in different lines of the xuitlity file
Can someone point me in the right direction, please?
