Skip to content

Commit

Permalink
r
Browse files Browse the repository at this point in the history
  • Loading branch information
bowenszhu committed May 1, 2024
1 parent 6a9e627 commit 9b93802
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion test/rulesets.jl
Original file line number Diff line number Diff line change
Expand Up @@ -200,8 +200,9 @@ _f(x) = x === a
# end

@testset "where2" begin
@syms a b
# @syms a b
println("inner objectid(a)", objectid(a))

r = @rule ~x => ~x where {_f(~x)}
println("_f(a)", _f(a))
res = r(a)
Expand Down

0 comments on commit 9b93802

Please sign in to comment.