From a648c370e80271cc2bb44f3d923c294d74610dad Mon Sep 17 00:00:00 2001
From: gemelen <gemelen@users.noreply.github.com>
Date: Tue, 24 Oct 2023 12:45:33 +0000
Subject: [PATCH] deploy: 7c3d8ce42542a2c307ffe9b1fe1e11e071449182

---
 discrete.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/discrete.html b/discrete.html
index e3ac9a8b..d3a70d1c 100644
--- a/discrete.html
+++ b/discrete.html
@@ -130,7 +130,7 @@ <h1 id="discrete" class="title">Discrete</h1>
   </span><span class="keyword">override</span><span> </span><span class="keyword">def</span><span> </span><span class="declaration-name">succ</span><span>(</span><span class="identifier">x</span><span>: </span><span class="type-name">Int</span><span>): </span><span class="type-name">Int</span><span> = </span><span class="identifier">x</span><span> + </span><span class="number-literal">1</span><span>
   </span><span class="keyword">override</span><span> </span><span class="keyword">def</span><span> </span><span class="declaration-name">pred</span><span>(</span><span class="identifier">x</span><span>: </span><span class="type-name">Int</span><span>): </span><span class="type-name">Int</span><span> = </span><span class="identifier">x</span><span> - </span><span class="number-literal">1</span><span>
 }
-</span><span class="comment">// intDiscrete: Discrete[Int] = repl.MdocSession$MdocApp$$anon$1@41670a25</span></code></pre>
+</span><span class="comment">// intDiscrete: Discrete[Int] = repl.MdocSession$MdocApp$$anon$1@3980452d</span></code></pre>
 
         
 <hr class="footer-rule"/>