diff --git a/demos/specs2/KeygenTypeBeat.fur b/demos/specs2/KeygenTypeBeat.fur deleted file mode 100644 index eb9f98a94..000000000 Binary files a/demos/specs2/KeygenTypeBeat.fur and /dev/null differ