diff --git a/bin/abcrown.sh b/bin/abcrown.sh index 49e54fa0e0bb4af0ba34003a3ea831b8101900e9..32033f33c1316c1a768d77e6142f43f369b9ccb1 100755 --- a/bin/abcrown.sh +++ b/bin/abcrown.sh @@ -23,7 +23,7 @@ if [ "$1" = "--version" ]; then SCRIPT_DIR=$( dirname -- "$0"; ) - $SCRIPT_DIR/dummyversion.py "complete_verifier.abcrown" + $SCRIPT_DIR/dummyversion.py "abcrown" else - OMP_NUM_THREADS=1 python3 -m complete_verifier.abcrown "$@" + OMP_NUM_THREADS=1 python3 -m abcrown "$@" fi