From 5bc170c54464a786136c1d7c0aefe732cd79dd14 Mon Sep 17 00:00:00 2001 From: David Phillips Date: Wed, 1 Aug 2018 23:42:14 +1200 Subject: Rename simulator This project has had a name for a while now --- test/run-lang-tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test') diff --git a/test/run-lang-tests.sh b/test/run-lang-tests.sh index 5cc68b3..767fde9 100755 --- a/test/run-lang-tests.sh +++ b/test/run-lang-tests.sh @@ -1,7 +1,7 @@ #!/bin/bash cd "$(dirname $0)" -EXECUTABLE="$PWD/../simulator" +EXECUTABLE="$PWD/../hence" echo $PWD -- cgit v1.1