-fixed tests

Author: DavidGalllob

src/org/sosy_lab/java_smt/test/SMTLIB2ParserInterpreterTest.java

@@ -2296,7 +2296,7 @@ public void testExceptionMultiply3()
     assertThat(actualResult).isEqualTo(null);
   }
 
-  @Test(expected = ParserException.class)
+  @Test(expected = UnsupportedOperationException.class)
   public void testExceptionDistinct()
       throws IOException, SolverException, InterruptedException, InvalidConfigurationException {
     requireIntegers();