1 files changed, 1 insertions, 0 deletions
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]))

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 {
26	{MPCP_VS_SEM, "MPCP-VS"},	26	{MPCP_VS_SEM, "MPCP-VS"},
27	LP(DPCP),	27	LP(DPCP),
28	LP(PCP),	28	LP(PCP),
		29	LP(DFLP),
29	};	30	};
30		31
31	#define NUM_PROTOS (sizeof(protocol)/sizeof(protocol[0]))	32	#define NUM_PROTOS (sizeof(protocol)/sizeof(protocol[0]))