example documentation fix

This commit is contained in:
Nicholas Ward 2024-03-04 14:05:16 -08:00
parent 66127bcf73
commit 316e13ea4b

View File

@ -16,6 +16,8 @@ fn main() -> Result<()> {
// The secret value.
let value = builder.add_virtual_target();
// Registered as a public input (even though it's secret) so we can print out the value later.
builder.register_public_input(value);
let log_max = 6;