1 files changed, 1 insertions, 1 deletions
diff --git a/terralloc b/terralloc
index 386e9fc..3280cbe 100755
--- a/terralloc
+++ b/terralloc
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-dist/build/final/final +RTS -K3000000000 -RTS $@
+PATH="$PATH:dist/build/terralloc.bin/" terralloc.bin +RTS -K3000000000 -RTS $@