Skip to content

Commit dc96fdd

Browse files
authored
Fix doc test. (#2542)
1 parent d039c7b commit dc96fdd

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

executor/src/witgen/jit/prover_function_heuristics.rs

+3-2
Original file line numberDiff line numberDiff line change
@@ -122,12 +122,13 @@ fn try_decode_provide_if_unknown<T>(
122122
}
123123

124124
/// Decodes functions of the form
125-
/// ```
126-
/// query |<i>| std::prover::handle_query(<Y>, <i>, match std::prover::eval(<pc>) {
125+
/// ```rust,ignore
126+
/// query |<i>| std::prover::handle_query(<Y>, <i>, match std::prover::eval(<pc>)) {
127127
/// <value1> => std::prelude::Query::Output(std::convert::int::<fe>(std::prover::eval(<arg1>)), std::prover::eval(<arg2>)),
128128
/// <value2> => std::prelude::Query::Input(std::convert::int::<fe>(std::prover::eval(<arg1>)), std::convert::int::<fe>(std::prover::eval(<arg2>))),
129129
/// ...
130130
/// _ => std::prelude::Query::None,
131+
/// }
131132
/// ```
132133
fn try_decode_handle_query<T>(
133134
index: usize,

0 commit comments

Comments
 (0)