diff --git a/examples/old/4_nondeterminism/make.sh b/examples/old/4_nondeterminism/make.sh
deleted file mode 100644
index 47ee3dafa30728d73105d4d36dbd58ca09827fbb..0000000000000000000000000000000000000000
--- a/examples/old/4_nondeterminism/make.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-
-LIB_PATH="../"
-gcc -L $LIB_PATH -lreowolf_rs -Wl,-R$LIB_PATH amy.c -o amy
\ No newline at end of file