diff --git a/src/debuglevels.txt b/src/debuglevels.txt
deleted file mode 100644
index 873b4e4..0000000
--- a/src/debuglevels.txt
+++ /dev/null
@@ -1,7 +0,0 @@
-Conventions for debug levels; ifdef DEBUG
-
--D1	meta		show compiled code, meta dynamic results
--D2	claims		show results of claims
--D3	events		show executed events
--D4	internalsHigh	interesting internals (traces that were cut off)
--D5	internalsLow	usually uninteresting stuff