- updated unsupported Operation Exception in a visitor Method.

Author: DavidGalllob

src/org/sosy_lab/java_smt/utils/ParseGenerateAndReparse.java

@@ -150,7 +150,11 @@ public static boolean nativeMathSatParseAndIsUnsat(String smt2)
   }
 
   public static void printError(Exception pE) {
-    System.out.println("ERROR: ");
+    if(pE instanceof UnsupportedOperationException){
+      System.out.println("UNSUPPORTED: ");
+    }else{
+      System.out.println("ERROR: ");
+    }
     pE.printStackTrace();
     System.exit(1);
     throw new RuntimeException(pE);