From 5bf505f121f7306ca7d5ef3e88af3636c06f87e2 Mon Sep 17 00:00:00 2001
From: Dionysios Spiliopoulos <32896454+Dspil@users.noreply.github.com>
Date: Mon, 19 Feb 2024 15:45:05 +0100
Subject: [PATCH] update host to point to pm-server (#774)

---
 src/main/scala/viper/silver/utility/ProgramSubmitter.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/scala/viper/silver/utility/ProgramSubmitter.scala b/src/main/scala/viper/silver/utility/ProgramSubmitter.scala
index 99dd5ac97..79a9646fc 100644
--- a/src/main/scala/viper/silver/utility/ProgramSubmitter.scala
+++ b/src/main/scala/viper/silver/utility/ProgramSubmitter.scala
@@ -11,7 +11,7 @@ import viper.silver.frontend.{SilFrontend}
 trait ProgramSubmitter {
 
   /** Protocol, IP address and port of server hosting the viper-data-collection API */
-  val API_HOST = "http://129.132.31.71:10000"
+  val API_HOST = "http://viper-server.inf.ethz.ch:10000"
 
   /** Whether program will be submitted to database */
   protected def allowSubmission: Boolean