script to patch the cpp circuit file

README.md

@@ -86,7 +86,12 @@ Requirements: Xcode.
    } // namespace
     
    ```
-4. Optional. Replace all accurances of `assert(` with `check(` in .cpp file to switch from asserts to exceptions (more secure).
+4. Optional. Remove the `#include <assert.h>` line and replace all accurances of `assert(` with `check(` in .cpp file to switch from asserts to exceptions (more secure).
+
+Alternatively you can patch the `.cpp` circuit file with a `patch_cpp.sh` script. Example how to run it:
+```shell
+./patch_cpp.sh ../circuits/build/linkedMultiQuery10/linkedMultiQuery10_cpp/linkedMultiQuery10.cpp > ./src/linkedMultiQuery10.cpp
+```
 
 ## License
 

patch_cpp.sh

@@ -0,0 +1,21 @@
+#!/usr/bin/env bash
+
+if [ $# -ne 1 ]; then
+    echo "Usage: $0 <path_to_cpp_file>"
+    exit 1
+fi
+
+file_path="$1"
+
+if [ ! -f "$file_path" ]; then
+    echo "Error: File does not exist."
+    exit 1
+fi
+
+sed "$(grep -n "^#include" ${file_path} | cut -d ':' -f 1 | tail -n 1) a\\
+\\
+namespace CIRCUIT_NAME {\\
+
+; /^#include <assert\\.h>\$/ d; s/^assert(/check(/; $ a\\
+}\\
+" ${file_path}