From aceaa640d0c81e785c2153131af39d3f49b433d1 Mon Sep 17 00:00:00 2001 From: septract Date: Wed, 19 Feb 2025 14:46:23 -0800 Subject: [PATCH] Fix tutorial include for slf1_basic_example_let.signed.c --- docs/getting-started/tutorials/basic-usage.md | 6 +++++- src/tutorial.md | 6 +++++- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/docs/getting-started/tutorials/basic-usage.md b/docs/getting-started/tutorials/basic-usage.md index 0db7e30..949ef8f 100644 --- a/docs/getting-started/tutorials/basic-usage.md +++ b/docs/getting-started/tutorials/basic-usage.md @@ -203,7 +203,11 @@ We would like to verify this is safe, and that `doubled` returns twice the value As in the first example, we need to ensure that `n+1` does not overflow and `n-1` does not underflow. Similarly `a+b` has to be representable at `int` type. -include\*example(solutions/slf1_basic_example_let.signed.c) +```c title="solutions/slf1_basic_example_let.signed.c" +--8<-- +solutions/slf1_basic_example_let.signed.c +--8<-- +``` diff --git a/src/tutorial.md b/src/tutorial.md index 1a8764c..de1e793 100644 --- a/src/tutorial.md +++ b/src/tutorial.md @@ -239,7 +239,11 @@ We would like to verify this is safe, and that `doubled` returns twice the value As in the first example, we need to ensure that `n+1` does not overflow and `n-1` does not underflow. Similarly `a+b` has to be representable at `int` type. -include\*example(solutions/slf1_basic_example_let.signed.c) +```c title="solutions/slf1_basic_example_let.signed.c" +--8<-- +solutions/slf1_basic_example_let.signed.c +--8<-- +```