diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-03-19 11:35:23 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-04-01 13:38:32 -0400 |
| commit | ad6403fe186889fd934c7dcb495b1ffb60fae09f (patch) | |
| tree | 240869e492626f15877dcf20863964b2adee038a /src | |
| parent | 7e861d78fd96c9f411b52b851c6d66b957f3e6f2 (diff) | |
Add support for the DFLP
Just add the ID and symbol.
Diffstat (limited to 'src')
| -rw-r--r-- | src/litmus.c | 1 |
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 { | |||
| 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])) |