fix example

OCamlPro · Jul 26, 2024 · 54d3bf9 · 54d3bf9
1 parent b336a09
commit 54d3bf9
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 0 deletions.
diff --git a/example/c/README.md b/example/c/README.md
@@ -361,6 +361,7 @@ int main(void) {
     owi_assume(n <= MAX_SIZE);
 
     primes(is_prime, n);
+    free(is_prime);
     return 0;
 }
 ```
@@ -412,6 +413,7 @@ int main(void) {
     owi_assume(n <= MAX_SIZE);
 
     primes(is_prime, n);
+    free(is_prime);
     return 0;
 }
 ```

diff --git a/example/c/primes.c b/example/c/primes.c
@@ -28,5 +28,6 @@ int main(void) {
     owi_assume(n <= MAX_SIZE);
 
     primes(is_prime, n);
+    free(is_prime);
     return 0;
 }
diff --git a/example/c/primes2.c b/example/c/primes2.c
@@ -29,5 +29,6 @@ int main(void) {
     owi_assume(n <= MAX_SIZE);
 
     primes(is_prime, n);
+    free(is_prime);
     return 0;
 }