1 files changed, 0 insertions, 11 deletions
diff --git a/examples/numerals/BinaryDigits.gf b/examples/numerals/BinaryDigits.gf
deleted file mode 100644
index 3a30a993c..000000000
--- a/examples/numerals/BinaryDigits.gf
+++ /dev/null
@@ -1,11 +0,0 @@
-concrete BinaryDigits of Binary = {
-
-flags startcat=Bin ;
-
-lincat Bin = { s : Str } ;
-
-lin End = { s = "" } ;
-lin Zero b = { s = "0" ++ b.s } ;
-lin One b = { s = "1" ++ b.s } ;
-
-}
-\ No newline at end of file