Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Compilation warning during compilation on Mac OSX #4582

Closed
LeventErkok opened this issue Jul 21, 2020 · 1 comment
Closed

Compilation warning during compilation on Mac OSX #4582

LeventErkok opened this issue Jul 21, 2020 · 1 comment

Comments

@LeventErkok
Copy link

In case this is of interest:

In file included from ../src/math/lp/numeric_pair.h:26:
../src/util/rational.h:135:16: warning: explicitly defaulted move assignment operator is implicitly deleted [-Wdefaulted-function-deleted]
    rational & operator=(rational&&) = default;
               ^
../src/util/rational.h:24:11: note: move assignment operator of 'rational' is implicitly deleted because field 'm_val' has a deleted move
      assignment operator
    mpq   m_val;
          ^
../src/util/mpq.h:33:11: note: 'operator=' has been explicitly marked deleted here
    mpq & operator=(mpq const &) = delete;
          ^
1 warning generated.
NikolajBjorner added a commit that referenced this issue Jul 22, 2020
Signed-off-by: Nikolaj Bjorner <[email protected]>
@LeventErkok
Copy link
Author

Note: The commit you put in does not get rid of the warning message.

NikolajBjorner added a commit that referenced this issue Jul 25, 2020
NikolajBjorner added a commit that referenced this issue Jul 25, 2020
NikolajBjorner added a commit that referenced this issue Jul 25, 2020
NikolajBjorner added a commit that referenced this issue Jul 25, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants