diff --git a/cfg/daca.cfg b/cfg/daca.cfg
deleted file mode 100644
index b2c21d664..000000000
--- a/cfg/daca.cfg
+++ /dev/null
@@ -1,31 +0,0 @@
-<?xml version="1.0"?>
-<def format="2">
-  <!-- This configuration is used in daca@home and contains some common practice macros and functions which are helpful for daca analysis. -->
-  <!-- see gnu.cfg -->
-  <define name="ASSERT(expr)" value="assert (expr)"/>
-  <define name="BE(expr, val)" value="__builtin_expect (expr, val)"/>
-  <function name="MIN">
-    <use-retval/>
-    <noreturn>false</noreturn>
-    <leak-ignore/>
-    <returnValue>arg1&lt;arg2?arg1:arg2</returnValue>
-    <arg nr="1" direction="in">
-      <not-uninit/>
-    </arg>
-    <arg nr="2" direction="in">
-      <not-uninit/>
-    </arg>
-  </function>
-  <function name="MAX">
-    <use-retval/>
-    <noreturn>false</noreturn>
-    <leak-ignore/>
-    <returnValue>arg1&gt;arg2?arg1:arg2</returnValue>
-    <arg nr="1" direction="in">
-      <not-uninit/>
-    </arg>
-    <arg nr="2" direction="in">
-      <not-uninit/>
-    </arg>
-  </function>
-</def>