- updated unsupported Operation Exception in a visitor Method.

Author: DavidGalllob

src/org/sosy_lab/java_smt/basicimpl/parserInterpreter/Visitor.java

@@ -968,7 +968,7 @@ public Object visitMultiterm(MultitermContext ctx) {
               return Objects.requireNonNull(imgr).distinct(integerOperands);
             }
           } catch (Exception e) {
-            throw new ParserException("Operands for " + operator + " need to be of numeral type");
+            throw new UnsupportedOperationException("JavaSMT support distinct only for numeral types!");
           }
         } else {
           throw new ParserException(operator + " takes at least one numeral operand as input. ");