diff --git a/src/plugins/e-acsl/examples/ensuresec/Makefile b/src/plugins/e-acsl/examples/ensuresec/json-output/Makefile
similarity index 100%
rename from src/plugins/e-acsl/examples/ensuresec/Makefile
rename to src/plugins/e-acsl/examples/ensuresec/json-output/Makefile
diff --git a/src/plugins/e-acsl/examples/ensuresec/ensuresec_ee.c b/src/plugins/e-acsl/examples/ensuresec/json-output/ensuresec_ee.c
similarity index 100%
rename from src/plugins/e-acsl/examples/ensuresec/ensuresec_ee.c
rename to src/plugins/e-acsl/examples/ensuresec/json-output/ensuresec_ee.c
diff --git a/src/plugins/e-acsl/examples/ensuresec/json_assert.c b/src/plugins/e-acsl/examples/ensuresec/json-output/json_assert.c
similarity index 100%
rename from src/plugins/e-acsl/examples/ensuresec/json_assert.c
rename to src/plugins/e-acsl/examples/ensuresec/json-output/json_assert.c