fix trailing whitespace camkes-1

seL4 · May 29, 2024 · 9674fc8 · 9674fc8
1 parent 054919e
commit 9674fc8
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/tutorials/hello-camkes-1/hello-camkes-1.md b/tutorials/hello-camkes-1/hello-camkes-1.md
@@ -373,7 +373,6 @@ int run(void) {
 int run(void) {
     printf("Starting the client\n");
     printf("-------------------\n");
-    
     /* TODO: invoke the RPC function */
     /* hint 1: the name of the function to invoke is a composition of an interface name and a function name:
      * i.e.: <interface>_<function>
@@ -390,7 +389,6 @@ int run(void) {
 ```
     char *shello = "hello world";
     hello_say_hello(shello);
-    
     printf("After the client\n");
     return 0;
 ```