Commit 0585349c authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Equals has an infix operator. Thus use it. 

For some reason, the equals infix operator disappeared.  Fix that ...

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@10470 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent 370accd0

src/main/java/ca/mcmaster/cas/matlab2smt/CVC3Generator.java

+1 −1
Original line number Diff line number Diff line
@@ -51,7 +51,7 @@ final public class CVC3Generator implements CheckerGenerator{ 
            case GreaterThen:

                return ">";

            case Equals:

                throw new IllegalArgumentException("Operation " + op + " doesn't have a signed fixed point function!");

                return "==";

        }

        throw new RuntimeException("Should never happen!");

    }