From ad6403fe186889fd934c7dcb495b1ffb60fae09f Mon Sep 17 00:00:00 2001
From: Bjoern Brandenburg <bbb@mpi-sws.org>
Date: Wed, 19 Mar 2014 16:35:23 +0100
Subject: Add support for the DFLP

Just add the ID and symbol.
---
 src/litmus.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/litmus.c b/src/litmus.c
index 4631eea..d7b7b3c 100644
--- a/src/litmus.c
+++ b/src/litmus.c
@@ -26,6 +26,7 @@ static struct {
 	{MPCP_VS_SEM, "MPCP-VS"},
 	LP(DPCP),
 	LP(PCP),
+	LP(DFLP),
 };
 
 #define NUM_PROTOS (sizeof(protocol)/sizeof(protocol[0]))
-- 
cgit v1.2.2