diff --git a/examples/joining_extistentials.v b/examples/joining_existentials.v
similarity index 100%
rename from examples/joining_extistentials.v
rename to examples/joining_existentials.v