diff --git a/extra/extra/Confluence.lagda b/src/plfa/Confluence.lagda
similarity index 100%
rename from extra/extra/Confluence.lagda
rename to src/plfa/Confluence.lagda