Skip to content

Commit

Permalink
No respect for David Hume
Browse files Browse the repository at this point in the history
Co-authored-by: Alessandro Cheli <[email protected]>
  • Loading branch information
olynch and 0x0f0f0f authored Aug 21, 2024
1 parent 107da67 commit bedf66e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/EGraphs/egraph.jl
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ An `EClass` is an equivalence class of terms.
The children and parent nodes are stored as [`VecExpr`](@ref)s for performance, which
means that without a reference to the [`EGraph`](@ref) object we cannot re-build human-readable terms
they represent. The [`EGraph`](@ref) itself comes with pretty printing for humean-readable terms.
they represent. The [`EGraph`](@ref) itself comes with pretty printing for human-readable terms.
"""
struct EClass{D}
id::Id
Expand Down

0 comments on commit bedf66e

Please sign in to comment.