diff --git a/impl/compile_flags.txt b/impl/compile_flags.txt
deleted file mode 100644
index 3ae5280..0000000
--- a/impl/compile_flags.txt
+++ /dev/null
@@ -1,6 +0,0 @@
--I./src
--Wall
--pedantic
--Wextra
--std=c99
--DDEBUG_LIQUID