From 9808111a9224f697c5d30f019614dfed8f1cf615 Mon Sep 17 00:00:00 2001 From: Reuben Gardos Reid <5456207+ReubenJ@users.noreply.github.com> Date: Wed, 26 Feb 2025 17:56:38 +0100 Subject: [PATCH] Remove reference of `SymbolTable` constructor --- docs/src/tutorials/basic_getting_started.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/tutorials/basic_getting_started.jl b/docs/src/tutorials/basic_getting_started.jl index afddaf4..5b03b0b 100644 --- a/docs/src/tutorials/basic_getting_started.jl +++ b/docs/src/tutorials/basic_getting_started.jl @@ -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