diff --git a/src/wip/proof.pysty b/src/wip/refproof.pysty
similarity index 100%
rename from src/wip/proof.pysty
rename to src/wip/refproof.pysty