diff --git a/WizardMergeSpec.tla b/spec/WizardMergeSpec.tla
similarity index 100%
rename from WizardMergeSpec.tla
rename to spec/WizardMergeSpec.tla