From 57a3b6bc54b0dcb832976736850bc80e4256a692 Mon Sep 17 00:00:00 2001
From: a <a@a.a>
Date: Thu, 9 May 2024 21:54:19 +0200
Subject: [PATCH] remove hashes in prove for benchmark

---
 examples/prove.jl | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/examples/prove.jl b/examples/prove.jl
index df9a5859..cfc679cf 100644
--- a/examples/prove.jl
+++ b/examples/prove.jl
@@ -12,8 +12,8 @@ function prove(
     timer = false,
   ),
 )
-  hist = UInt64[]
-  push!(hist, hash(ex))
+  # hist = UInt64[]
+  # push!(hist, hash(ex))
   for i in 1:steps
     g = EGraph(ex)
 
@@ -25,10 +25,10 @@ function prove(
     if !TermInterface.isexpr(ex)
       return ex
     end
-    if hash(ex) ∈ hist
-      return ex
-    end
-    push!(hist, hash(ex))
+    # if hash(ex) ∈ hist
+    #   return ex
+    # end
+    # push!(hist, hash(ex))
   end
   return ex
 end