fix code snippet

diff --git a/ralf/_posts/2022-04-11-provenance-exposed.md b/ralf/_posts/2022-04-11-provenance-exposed.md
index 317cc3039649b0a658efef22cd82cbab636c4508..56b7203e9d9a4a07aeb68291d50214313f2a7237 100644 (file)
--- a/ralf/_posts/2022-04-11-provenance-exposed.md
+++ b/ralf/_posts/2022-04-11-provenance-exposed.md
@@ -108,8 +108,8 @@ static int uwu(int *restrict x, int *restrict y) {
 }
 
 int main() {
 }
 
 int main() {

-  int i = 0;
-  int res = uwu(&i, &i);
+  int i[2] = {0, 0};
+  int res = uwu(&i[0], &i[1]);

   // Now this prints 0!
   printf("%d\n", res);
 }
   // Now this prints 0!
   printf("%d\n", res);
 }