From d712e5749642b0912d1e745d9045c4d72497fe26 Mon Sep 17 00:00:00 2001
From: stefan-aws <stefanze@amazon.com>
Date: Fri, 26 Jul 2024 16:26:09 +0100
Subject: [PATCH] Extra argument for DiscreteGaussianSample

---
 tests/Tests.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/Tests.dfy b/tests/Tests.dfy
index 4634032e..c5c0514f 100644
--- a/tests/Tests.dfy
+++ b/tests/Tests.dfy
@@ -229,7 +229,7 @@ module Tests {
     for i := 0 to n
       invariant -2 in counts && -1 in counts && 0 in counts && 1 in counts && 2 in counts
     {
-      var u := r.DiscreteGaussianSample(7, 5);
+      var u := r.DiscreteGaussianSample(7, 5, 7);
       sum := sum + u;
       if u !in counts {
         counts := counts[ u := 1 ];