From 2788d9f7d20d48aaba7e5f670d58274068ebf315 Mon Sep 17 00:00:00 2001
From: amai2012 <amai@users.sf.net>
Date: Fri, 19 Apr 2019 15:43:17 +0200
Subject: [PATCH] Correct two recently added macros

---
 cfg/daca.cfg | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cfg/daca.cfg b/cfg/daca.cfg
index 646056891..b2c21d664 100644
--- a/cfg/daca.cfg
+++ b/cfg/daca.cfg
@@ -2,8 +2,8 @@
 <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="define ASSERT(expr)" value="assert (expr)"/>
-  <define name="define BE(expr, val)" value="__builtin_expect (expr, val)"/>
+  <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>