diff --git a/src/example-archive/c-testsuite/broken/error-proof/00182.err2.c b/src/example-archive/c-testsuite/broken/error-cerberus/00182.err2.c
similarity index 100%
rename from src/example-archive/c-testsuite/broken/error-proof/00182.err2.c
rename to src/example-archive/c-testsuite/broken/error-cerberus/00182.err2.c
diff --git a/src/example-archive/c-testsuite/broken/error-proof/00200.err2.c b/src/example-archive/c-testsuite/broken/error-cerberus/00200.err2.c
similarity index 100%
rename from src/example-archive/c-testsuite/broken/error-proof/00200.err2.c
rename to src/example-archive/c-testsuite/broken/error-cerberus/00200.err2.c