Skip to content

Commit

Permalink
Merge pull request #137 from Herb-AI/bug/text-references-symboltable
Browse files Browse the repository at this point in the history
  • Loading branch information
ReubenJ authored Feb 27, 2025
2 parents 82cd606 + 9808111 commit 9d85758
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/src/tutorials/basic_getting_started.jl
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ solution, flag = synth(problem, iterator)
md"
There are various ways to adapt the search technique to your needs. Please have a look at the [`synth`](@ref) documentation.
Eventually, we want to test our solution on some other inputs using `HerbInterpret`. We transform our grammar `g` to a Julia expression with `Symboltable(g)`, add our solution and the input, assigning the value `6` to the variable `x`.
Eventually, we want to test our solution on some other inputs using `HerbInterpret`. We transform our grammar `g` to a Julia expression with `grammar2symboltable(g)`, add our solution and the input, assigning the value `6` to the variable `x`.
"

# ╔═╡ fb3e47bf-03f1-4eda-85ff-1897751c1d00
Expand Down

0 comments on commit 9d85758

Please sign in to comment.