From e9f6be9c136b57a5545d7ef370ec07a744d3c3ba Mon Sep 17 00:00:00 2001 From: Dspil Date: Mon, 12 Feb 2024 14:01:14 +0100 Subject: [PATCH] port --- 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 fdb2f2d65..08a5d55fe 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/51934" + val API_HOST = "http://129.132.31.71:51934" /** Whether program will be submitted to database */ protected def allowSubmission: Boolean