From f68c6822a7bcc83f92371785e48e1fa44c3a5fe6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philipp=20Schr=C3=B6er?=
 <Philipp15b@users.noreply.github.com>
Date: Thu, 21 Mar 2024 10:00:24 +0100
Subject: [PATCH] tests: fix rabin.heyvl

Removed a superfluous `compare` statement. It made the proc's pre irrelevant.
---
 tests/domains/rabin.heyvl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tests/domains/rabin.heyvl b/tests/domains/rabin.heyvl
index a50fd9aa..14e3aec5 100644
--- a/tests/domains/rabin.heyvl
+++ b/tests/domains/rabin.heyvl
@@ -15,7 +15,6 @@ proc rabin(init_i: UInt, init_n: UInt, init_d: UInt) -> (i: UInt, n: UInt, d: UI
     n = init_n
     d = init_d
     var prob_choice: Bool;
-    compare ([1 == i] + ([1 < i] * (2/3)));
     assert ([1 == i] + ([1 < i] * (2/3)));
     havoc d, i, n;
     compare ([1 == i] + ([1 < i] * (2/3)));