Joao's feedback

viperproject · Sep 12, 2023 · 09ec7eb · 09ec7eb
1 parent fda5d54
commit 09ec7eb
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/src/main/scala/viper/gobra/backend/Silicon.scala b/src/main/scala/viper/gobra/backend/Silicon.scala
@@ -36,12 +36,10 @@ class Silicon(commandLineArguments: Seq[String]) extends ViperVerifier {
 
         result
       } catch {
-        case _: java.lang.UnsatisfiedLinkError => println("Couldn't find Z3 java API. No libz3java in java.library.path")
+        case _: java.lang.UnsatisfiedLinkError => System.err.println("Couldn't find Z3 java API. No libz3java in java.library.path")
           new Failure(Seq.empty)
         case e: Throwable =>
-          println("Couldn't verify package due to internal error:")
-          println(e.getMessage())
-          new Failure(Seq.empty)
+          throw e
       }
     }
   }