From 1ae99e300aa10df4eac29ef9298112ec9fc39675 Mon Sep 17 00:00:00 2001
From: Remy Willems <rwillems@amazon.com>
Date: Wed, 2 Oct 2024 15:11:33 +0200
Subject: [PATCH] Fix test

---
 Source/UnitTests/ExecutionEngineTests/RandomSeedTest.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/UnitTests/ExecutionEngineTests/RandomSeedTest.cs b/Source/UnitTests/ExecutionEngineTests/RandomSeedTest.cs
index fb0087cd8..94505c1c9 100644
--- a/Source/UnitTests/ExecutionEngineTests/RandomSeedTest.cs
+++ b/Source/UnitTests/ExecutionEngineTests/RandomSeedTest.cs
@@ -17,7 +17,7 @@ public class RandomSeedTest
   axiom N <= 3;
 
   procedure nEquals3()
-  ensures true;
+  ensures 1 == 1;
   {
   }";