diff --git a/pics/repr.gif b/pics/repr_demo.gif
similarity index 100%
rename from pics/repr.gif
rename to pics/repr_demo.gif