From 0d9df3a16c6b0ede5498e3bf05b2115abc0ba214 Mon Sep 17 00:00:00 2001 From: Pamela Wochner Date: Thu, 11 Apr 2024 11:07:56 +0200 Subject: [PATCH] Fix broken reference. --- docs/src/get_started.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/get_started.md b/docs/src/get_started.md index 09b486f..cdbbaa8 100644 --- a/docs/src/get_started.md +++ b/docs/src/get_started.md @@ -38,7 +38,7 @@ solution, flag = synth(problem, iterator) println(solution) ``` -There are various ways to adapt the search technique to your needs. Please have a look at the [`search`](@ref) documentation. +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`.