Commit 9631e2cb 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 e6d0a923

Matlab2SMT/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!");

    }