From b8d9bfec162805212bb5327e317e12c0014b8c7f Mon Sep 17 00:00:00 2001
From: Delyan Angelov <delian66@gmail.com>
Date: Thu, 23 Jun 2022 01:35:45 +0300
Subject: [PATCH] docs: fix C primes example in the tutorials (fixes c2v
 translation on linux)

---
 tutorials/C2V_translating_simple_programs_and_DOOM/README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/tutorials/C2V_translating_simple_programs_and_DOOM/README.md b/tutorials/C2V_translating_simple_programs_and_DOOM/README.md
index c5269012d6..d61095d9a4 100644
--- a/tutorials/C2V_translating_simple_programs_and_DOOM/README.md
+++ b/tutorials/C2V_translating_simple_programs_and_DOOM/README.md
@@ -18,7 +18,7 @@ and various expressions.
 
 ```c
 #include <stdio.h>
-#include <math.h>
+#include <stdbool.h>
 
 bool is_prime(int x) {
     for (int i = 2; i <= x / 2; i++) {
@@ -35,7 +35,6 @@ int main() {
     }
     return 0;
 }
-
 ```
 
 We can translate the C file to V by simply running