diff --git a/src/example-archive/java_program_verification_challenges/broken/error-proof/00001_aliasing.c b/src/example-archive/java_program_verification_challenges/broken/error-crash/00001_aliasing.c
similarity index 100%
rename from src/example-archive/java_program_verification_challenges/broken/error-proof/00001_aliasing.c
rename to src/example-archive/java_program_verification_challenges/broken/error-crash/00001_aliasing.c