Fix tutorial include for slf1_basic_example_let.signed.c

rems-project · Feb 21, 2025 · df9edfd · df9edfd
1 parent c9706ff
commit df9edfd
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git 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<--
+```
 
 <!-- TODO: BCP: WHy n*+n\_ in some places and n\*2i32 in others? -->
 <!-- Dhruv: Unlikely to be meaningful, either is fine. -->

diff --git 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<--
+```
 
 <!-- TODO: BCP: WHy n*+n\_ in some places and n\*2i32 in others? -->
 <!-- Dhruv: Unlikely to be meaningful, either is fine. -->