diff --git a/examples/symbolic/three-level-nested-loop-fail-1-35.c b/examples/symbolic/three-level-nested-loop-1-35.c
similarity index 100%
rename from examples/symbolic/three-level-nested-loop-fail-1-35.c
rename to examples/symbolic/three-level-nested-loop-1-35.c