From d75d5030b719edbda4af8d050f5eba81e03e66c1 Mon Sep 17 00:00:00 2001
From: Jaremy Creechley <creechley@gmail.com>
Date: Tue, 21 Nov 2023 18:59:21 -0700
Subject: [PATCH] fix example compilation

---
 example/circom_build/product.nims | 1 -
 example/prove.sh                  | 3 ++-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/example/circom_build/product.nims b/example/circom_build/product.nims
index e573d53..b9feed4 100644
--- a/example/circom_build/product.nims
+++ b/example/circom_build/product.nims
@@ -23,5 +23,4 @@ else:
 
 # {.compile: "../build/product_cpp/product.cpp".}
 # {.compile: "../build/product_cpp/main.cpp".}
-{.compile: "product.cpp".}
 {.compile: "main.cpp".}
diff --git a/example/prove.sh b/example/prove.sh
index cee5aae..8cbb5e7 100755
--- a/example/prove.sh
+++ b/example/prove.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 ORIG=`pwd`
 NAME="product"
@@ -46,7 +47,7 @@ echo '{ "inp": [7,11,13] , "plus": 1022 }' >build/${NAME}_input.json
 # cd $ORIG/build
 cp -v $ORIG/circom_build/* $ORIG/build/${NAME}_cpp/
 cd $ORIG/build/${NAME}_cpp
-echo "{.compile: \"${NAME}\"}" > ${NAME}.nim
+echo "{.compile: \"${NAME}.cpp\"}" > ${NAME}.nim
 nim cpp ${NAME}.nim
 ./${NAME} ../${NAME}_input.json ../${NAME}.wtns
 cd $ORIG/build