diff --git a/helpers/make-dh-strip-nondeterminism b/helpers/make-strip-nondeterminism
similarity index 100%
rename from helpers/make-dh-strip-nondeterminism
rename to helpers/make-strip-nondeterminism