diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -11,7 +11,7 @@ TAMARIN_REMOTEBIN ?= tamarin-prover # The target protocol to be proved TAMARIN_PROTO ?= wireguard # The remote host for running -TAMARIN_HOST ?= proof.wireguard.io +TAMARIN_HOST ?= proof.wireguard.com logfile = log |