fix undefined

JuliaSymbolics · Oct 22, 2023 · ef978aa · ef978aa
1 parent 50df8e8
commit ef978aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/EGraphs/saturation.jl b/src/EGraphs/saturation.jl
@@ -193,7 +193,7 @@ Instantiate argument for dynamic rule application in e-graph
 """
 function instantiate_actual_param!(bindings::Bindings, g::EGraph, i)
   ecid, literal_position = bindings[i]
-  ecid <= 0 && error("unbound pattern variable $pat in rule $rule")
+  ecid <= 0 && error("unbound pattern variable")
   eclass = g[ecid]
   if literal_position > 0
     @assert eclass[literal_position] isa ENodeLiteral