fix: remove Metatheory from benchmark environment

AayushSabharwal · AayushSabharwal · commit 4e41488d9b68 · 2025-03-23T13:11:54.000+05:30
diff --git a/benchmark/Project.toml b/benchmark/Project.toml
@@ -1,2 +1 @@
 [deps]
-Metatheory = "e9d8d322-4543-424a-9be4-0cc815abe26c"
diff --git a/benchmark/benchmarks.jl b/benchmark/benchmarks.jl
@@ -1,6 +1,5 @@
 using BenchmarkTools, SymbolicUtils
 using SymbolicUtils: is_literal_number, @rule
-using Metatheory
 
 using Random
 
diff --git a/test/benchmark.jl b/test/benchmark.jl
@@ -1,6 +1,5 @@
 # A little trick for travis
 using PkgBenchmark, SymbolicUtils
-using Metatheory
 
 pkgpath = dirname(dirname(pathof(SymbolicUtils)))
 # move it out of the repository so that you can check out different branches
