remove problematic docstring

AlgebraicJulia · Jan 28, 2025 · 3185e9d · 3185e9d
1 parent 3a9e799
commit 3185e9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/syntax/TheoryInterface.jl b/src/syntax/TheoryInterface.jl
@@ -203,7 +203,7 @@ function theory_impl(head, body, __module__)
 end
 
 """
-The Dispatch model defers to type-dispatch: f[Dispatch](a,b,c) == f(a,b,c)
+The Dispatch model defers to type-dispatch
 """
 @struct_hash_equal struct Dispatch
   jltypes::Dict{AlgSort, Type}